source: git/Tst/Plural/doc-division1.tst @ 520b58

Last change on this file since 520b58 was 293722, checked in by Viktor Levandovskyy <levandov@…>, 14 years ago
*levandov: tests for new functions in doc, for plural git-svn-id: file:///usr/local/Singular/svn/trunk@12656 2c84dea3-7e68-4137-9b89-c4e89433aadc
  • Property mode set to 100644
File size: 647 bytes
1LIB "tst.lib";
3LIB "dmod.lib";
4ring r = 0,(x,y),dp;
5poly f = x^3+xy;
6def S = Sannfs(f); setring S; // compute the annihilator of f^s
7LD; // is not a Groebner basis yet!
8poly f = imap(r,f);
9poly P = f*Dx-s*diff(f,x);
10division(P,LD); // so P is in the ideal via the cofactors in _[1]
11ideal I = LD, f; // consider a bigger ideal
12list L = division(s^2, I); // the normal form is -2s-1
14// now we show that the formula above holds
15matrix M[1][1] = s^2; matrix N = matrix(I);
16matrix T = matrix(L[1]); matrix R = matrix(L[2]); matrix U  = matrix(L[3]);
17transpose(U)*transpose(M) - transpose(T)*transpose(N) - transpose(R);
Note: See TracBrowser for help on using the repository browser.