source: git/Tst/Plural/doc-elimination.tst @ a6e7454

spielwiese
Last change on this file since a6e7454 was a6e7454, checked in by Viktor Levandovskyy <levandov@…>, 21 years ago
nontrivial examples from Plural doc git-svn-id: file:///usr/local/Singular/svn/trunk@6653 2c84dea3-7e68-4137-9b89-c4e89433aadc
  • Property mode set to 100755
File size: 462 bytes
Line 
1// simple elimination tests
2LIB "tst.lib";
3tst_init();
4ring r=0,(e,f,h,a),Dp;
5matrix d[4][4];
6d[1,2]=-h;
7d[1,3]=2*e;
8d[2,3]=-2*f;
9system("PLURAL",1,d);
10// it is U(sl_2)+K[a]
11option(redSB);
12option(redTail);
13poly p=4*e*f+h^2-2*h-a;
14// this is central element with parameter
15ideal I=e^3,f^3, h^3-4*h,p;
16ideal J=eliminate(I,efh);
17// this will give us the central character of I
18J;
19eliminate(I,h); // [e,f] is not the adm. subalgebra!
20eliminate(I,a);
21tst_status(1);$
Note: See TracBrowser for help on using the repository browser.