source: git/Tst/Buch/Example_1_3_13.tst @ 891438c

spielwiese
Last change on this file since 891438c was 891438c, checked in by Gerhard Pfister <pfister@…>, 23 years ago
*GP: initial release git-svn-id: file:///usr/local/Singular/svn/trunk@5579 2c84dea3-7e68-4137-9b89-c4e89433aadc
  • Property mode set to 100644
File size: 600 bytes
Line 
1LIB "tst.lib";
2tst_init();
3
4ring R = 32003,(x,y,z),dp;
5ideal I = x2+y2-z5, z-x-y2;     
6qring Q = groebner(I); 
7Q;
8
9poly f = z2 + y2;
10poly g = z2+2x-2z-3z5+3x2+6y2;
11reduce(f-g,std(0));
12
13setring R;
14poly f = z2 + y2;
15poly g = z2 + 2x - 2z - 3z5 + 3x2 + 6y2;
16reduce(f-g,groebner(I));
17
18setring Q;
19ideal q = quotient(0,f);
20q = reduce(q,std(0));     
21size(q);             
22kill R;
23kill Q;
24
25ring R=(0,x),(y,z),dp;
26ideal I=-z5+y2+(x2),-y2+z+(-x);
27I=std(I);qring Q=I;
28poly p=lift(z,1)[1,1];
29p;
30reduce(p*z,std(0));
31
32ring R1=(0,x),(z,y),lp;
33ideal I=imap(R,I);
34I=std(I);
35I;
36
37factorize(I[1]);
38
39tst_status(1);$
Note: See TracBrowser for help on using the repository browser.