1 | LIB "tst.lib"; |
---|
2 | tst_init(); |
---|
3 | |
---|
4 | LIB "primdec.lib"; |
---|
5 | system("random",1760203212); |
---|
6 | ring rng = 2,(x(1),x(2)),(lp(1),lp(1),C); |
---|
7 | ideal I = x(2)^2+x(2)+1,x(1)^2*x(2)+1,0; |
---|
8 | list ML1 = minAssGTZ(I, "facstd"); |
---|
9 | list ML2 = minAssGTZ(I, "GTZ" ); |
---|
10 | ML1; |
---|
11 | ML2; |
---|
12 | reduce( ML1[1], std(ML2[1]) ); |
---|
13 | reduce( ML2[1], std(ML1[1]) ); |
---|
14 | list RML1 = radical( ML1[1]); |
---|
15 | list RML2 = radical( ML2[1]); |
---|
16 | |
---|
17 | reduce( RML1[1], std(RML2[1]) ); |
---|
18 | reduce( RML2[1], std(RML1[1]) ); |
---|
19 | kill rng; |
---|
20 | |
---|
21 | system("random",1416823952); |
---|
22 | ring rng = 2,(x,y,z),(lp,C); |
---|
23 | minpoly = 0; |
---|
24 | ideal I = x^2*y+x*z^2+1,x^2*z+z^2,z^3+1; |
---|
25 | |
---|
26 | list ML1 = minAssGTZ(I, "GTZ" ); |
---|
27 | list ML2 = minAssGTZ(I, "facstd"); |
---|
28 | ML1; |
---|
29 | ML2; |
---|
30 | radical(ML1[1]); |
---|
31 | radical(ML2[1]); |
---|
32 | kill rng; |
---|
33 | |
---|
34 | system("random",2064787217); |
---|
35 | ring rng = 2,(x,y,z),(lp,C); |
---|
36 | ideal I = z^3+1,x^2*y+y*z^2,y+1; |
---|
37 | |
---|
38 | list ML2 = minAssGTZ(I); |
---|
39 | list ML3 = minAssGTZ(I, "GTZ" ); |
---|
40 | ML2; |
---|
41 | ML3; |
---|
42 | |
---|
43 | radical(ML2[1]); |
---|
44 | radical(ML3[1]); |
---|
45 | |
---|
46 | idealsEqual( ML2[1], radical(ML2[1]) ); |
---|
47 | idealsEqual( ML3[1], radical(ML3[1]) ); |
---|
48 | |
---|
49 | tst_status(1);$ |
---|