source: git/Tst/Manual/annfsBMI.tst @ 228e0b

spielwiese
Last change on this file since 228e0b 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: 811 bytes
Line 
1LIB "tst.lib"; tst_init();
2LIB "dmod.lib";
3ring r = 0,(x,y),Dp;
4ideal F = x,y,x+y;
5printlevel = 0;
6// *1* let us compute the B ideal
7def A = annfsBMI(F);    setring A;
8LD; // annihilator
9BS; // Bernstein-Sato ideal
10// *2* now, let us compute B-Sigma ideal
11setring r;
12def Sigma = annfsBMI(F,0,-1); setring Sigma;
13print(matrix(lead(LD))); // compact form of leading
14//  monomials from the annihilator
15BS; // Bernstein-Sato B-Sigma ideal: it is principal,
16// so factors and multiplicities are returned
17// *3* and now, let us compute B-i ideal
18setring r;
19def Bi = annfsBMI(F,0,3); // that is F[3]=x+y is taken
20setring Bi;
21print(matrix(lead(LD)));   // compact form of leading
22//  monomials from the annihilator
23BS; // the B_3 ideal: it is principal, so factors
24// and multiplicities are returned
25tst_status(1);$
Note: See TracBrowser for help on using the repository browser.