source: git/Tst/Buch/Example_4_7_7.tst @ 9faaf0

spielwiese
Last change on this file since 9faaf0 was 9faaf0, checked in by Hans Schönemann <hannes@…>, 17 years ago
*hannes: syntax fix git-svn-id: file:///usr/local/Singular/svn/trunk@10214 2c84dea3-7e68-4137-9b89-c4e89433aadc
  • Property mode set to 100644
File size: 568 bytes
Line 
1LIB "tst.lib";
2tst_init();
3
4//================================= example 4.7.7 ============================
5
6LIB"primdec.lib";
7ring R=0,(x,y,z),lp;
8ideal I=z2-2, y2+2y-1, (y+z+1)*x+yz+z+2, x2+x+y-1;
9minAssGTZ(I);
10
11option(redSB);        //a reduced lex Groebner basis is needed
12I=std(I);             //as input for triangMH (algorithm
13triangMH(I,2);        //of Moeller, Hillebrand)
14
15std(quotient(I,y+z+1));  //the second triangular set
16
17std(I,y+z+1);            //the first triangular set
18                         //(recall the meaning of std(I, f))
19
20
21tst_status(1);$
22
Note: See TracBrowser for help on using the repository browser.