1 | LIB "tst.lib"; |
---|
2 | tst_init(); |
---|
3 | |
---|
4 | option(prot); |
---|
5 | ring r=32003,(x,y,z),ds; |
---|
6 | int a =35; |
---|
7 | int b =25; |
---|
8 | int c =20; |
---|
9 | int alpha =7; |
---|
10 | int beta= 11; |
---|
11 | int t= 1; |
---|
12 | poly f =x^a+y^b+z^c+x^alpha*y^(beta-5)+x^(alpha-2)*y^(beta-3)+x^(alpha-3)*y^(beta-4)*z^2+x^(alpha-4)*y^(beta-4)*(y^2+t*x)^2; |
---|
13 | ideal j= jacob(f); |
---|
14 | j=j,f; |
---|
15 | ideal i=std(j); |
---|
16 | tst_status(1);$ |
---|
17 | |
---|
18 | |
---|
19 | ring r=32003,(w,x,y,z),ds; |
---|
20 | int a =10; |
---|
21 | int b =10; |
---|
22 | int c =11; |
---|
23 | int alpha =5; |
---|
24 | int beta= 5; |
---|
25 | int t= 0; |
---|
26 | poly f =x^a+y^b+z^c+x^alpha*y^(beta-5)+x^(alpha-2)*y^(beta-3)+x^(alpha-3)*y^(beta-4)*z^2+x^(alpha-4)*y^(beta-4)*(y^2+t*x)^2; |
---|
27 | ideal j= jacob(f); |
---|
28 | j=j,f; |
---|
29 | ideal i=std(j); |
---|
30 | |
---|
31 | ring r=32003,(w,x,y,z),ds; |
---|
32 | int a =20; |
---|
33 | int b =10; |
---|
34 | int c =3; |
---|
35 | int t =1; |
---|
36 | poly f= x^a+y^b+z^(3*c)+x^(c+2)*y^(c-1)+x^(c-1)*y^(c-1)*z3+x^(c-2)*y^c*(y2+t*x)^2; |
---|
37 | ideal j=jacob(f); |
---|
38 | ideal i=std(j); |
---|
39 | |
---|
40 | ring r=32003,(x,y,z),ds; |
---|
41 | int a =30; |
---|
42 | int b =20; |
---|
43 | int c =7; |
---|
44 | int t =1; |
---|
45 | poly f= x^a+y^b+z^(3*c)+x^(c+2)*y^(c-1)+x^(c-1)*y^(c-1)*z3+x^(c-2)*y^c*(y2+t*x)^2; |
---|
46 | ideal j=jacob(f); |
---|
47 | ideal i=std(j); |
---|
48 | |
---|
49 | ring r=32003,(x,y,z),ds; |
---|
50 | int a=20; |
---|
51 | poly f =xyz*(x+y+z)^2 +(x+y+z)^3 +x^a+y^a+z^a; |
---|
52 | ideal i= jacob(f); |
---|
53 | i=i,f; |
---|
54 | ideal j=std( i); |
---|
55 | |
---|
56 | ring r=32003,(w,x,y,z),ds; |
---|
57 | int a=7; |
---|
58 | poly f =xyz*(x+y+z)^2 +(x+y+z)^3 +x^a+y^a+z^a; |
---|
59 | ideal i= jacob(f); |
---|
60 | i=i,f; |
---|
61 | ideal j=std( i); |
---|
62 | |
---|
63 | ring s=32003,(x,y,z,u),ds; |
---|
64 | int a=7; |
---|
65 | poly f =xyzu*(x+y+z+u) +(x+y+z+u)^2 +x^a+y^a+z^a+u^a; |
---|
66 | ideal i= jacob(f); |
---|
67 | ideal j=std( i); |
---|
68 | |
---|
69 | ring r=32003,(x,y,z,t,u,v),ds; |
---|
70 | ideal i= |
---|
71 | (y+u+v-zt)*(z+t+2u-3xt), |
---|
72 | z2+t2+2u2-3u2v, |
---|
73 | yx+t2+2yv-xyz, |
---|
74 | xv-yu-zt-t2-u2-v2, |
---|
75 | -1569yz3+31250x2tu, |
---|
76 | -587yt+15625zv; |
---|
77 | ideal j=std( i); |
---|
78 | |
---|
79 | ring r = 32003,(z(3..1),x(13..7),u(6..2)),ds; |
---|
80 | ideal in = |
---|
81 | u(5)*u(2)^2-u(3)*u(4)^2-u(3)*u(5)^2+u(5)*u(3)^2,u(6)^10, |
---|
82 | 2*u(3)*x(7)*u(4)+u(4)*u(2)*u(5)-2*x(7)*u(2)*u(5), |
---|
83 | u(3)*u(5)^2-u(5)*u(3)^2-u(4)*u(2)*u(3), |
---|
84 | -2*x(7)*u(2)-2*u(3)*x(8)+u(4)*u(2)+u(3)*u(5), |
---|
85 | x(11)*u(2)-u(3)*x(10), |
---|
86 | -4*x(12)+3*x(10)+u(4),-4*x(13)+3*x(11)+u(5),2*u(3)*x(8)-u(2)^2-u(3)^2, |
---|
87 | z(1)*u(2)-u(6),z(2)*u(3)-u(6), |
---|
88 | z(3)*(u(5)*u(2)-u(3)*u(4))-u(6); |
---|
89 | ideal im= |
---|
90 | u(3)*u(5)^2-u(5)*u(3)^2-u(4)*u(2)*u(3), |
---|
91 | -4*x(12)+3*x(10)+u(4),-4*x(13)+3*x(11)+u(5),2*u(3)*x(8)-u(2)^2-u(3)^2, |
---|
92 | z(3)*(u(5)*u(2)-u(3)*u(4))-u(6); |
---|
93 | ideal i=in*im; |
---|
94 | ideal j=std( i); |
---|
95 | |
---|
96 | ring r = 32003,(x(1..7)),ds; |
---|
97 | ideal i = |
---|
98 | -2*x(4)*x(5)-2*x(3)*x(6)^2-2*x(2)*x(7)-1*x(1)^3, |
---|
99 | -2*x(1)*x(2)-2*x(4)*x(6)^2-2*x(3)*x(7)-1*x(2)^3, |
---|
100 | -2*x(1)*x(3)-2*x(5)*x(6)^2-2*x(4)*x(7)-1*x(3)^3, |
---|
101 | -2*x(2)*x(3)-2*x(1)*x(4)-2*x(5)*x(7)-1*x(4)^3, |
---|
102 | -2*x(2)*x(5)-2*x(1)^2; |
---|
103 | ideal j=std( i); |
---|
104 | |
---|