source: git/Tst/Manual/deRhamCohomIdeal.tst @ 76ce4e6

spielwiese
Last change on this file since 76ce4e6 was 894057, checked in by Oleksandr Motsak <motsak@…>, 13 years ago
ADD: Tests from online manual (res+stat on mamawutz): short ones Tst/Manual/s.lst
  • Property mode set to 100644
File size: 448 bytes
Line 
1LIB "tst.lib"; tst_init();
2LIB "dmodapp.lib";
3ring r = 0,(x,y,z),dp;
4poly F = x^3+y^3+z^3;
5bfctAnn(F);            // Bernstein-Sato poly of F has minimal integer root -2
6def W = annRat(1,F^2); // so we compute the annihilator of 1/F^2
7setring W; W;          // Weyl algebra, contains LD = Ann(1/F^2)
8LD;                    // K[x,y,z,1/F]F^(-2) is isomorphic to W/LD as W-module
9deRhamCohomIdeal(LD);  // we see that the K-dim is 2
10tst_status(1);$
Note: See TracBrowser for help on using the repository browser.