source: git/Tst/Manual/division_BR_PLURAL_BR.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: 679 bytes
Line 
1LIB "tst.lib"; tst_init();
2LIB "dmod.lib";
3ring r = 0,(x,y),dp;
4poly f = x^3+xy;
5def S = Sannfs(f); setring S; // compute the annihilator of f^s
6LD; // is not a Groebner basis yet!
7poly f = imap(r,f);
8poly P = f*Dx-s*diff(f,x);
9division(P,LD); // so P is in the ideal via the cofactors in _[1]
10ideal I = LD, f; // consider a bigger ideal
11list L = division(s^2, I); // the normal form is -2s-1
12L;
13// now we show that the formula above holds
14matrix M[1][1] = s^2; matrix N = matrix(I);
15matrix T = matrix(L[1]); matrix R = matrix(L[2]); matrix U  = matrix(L[3]);
16// the formula must return zero:
17transpose(U)*transpose(M) - transpose(T)*transpose(N) - transpose(R);
18tst_status(1);$
Note: See TracBrowser for help on using the repository browser.