1 | LIB "tst.lib"; tst_init(); option(prot); |
---|
2 | |
---|
3 | ring w6=32003,(x(1..16)),dp; |
---|
4 | ideal i0= |
---|
5 | x(1)+x(2)+x(3)+x(4), |
---|
6 | x(1)^2*x(2)^2+x(2)*x(3)*x(5)*x(6)+x(3)*x(4)*x(9)*x(10)+x(4)*x(5)*x(13)*x(14), |
---|
7 | x(1)*x(2)^2*x(3)+x(2)*x(3)*x(6)*x(7), |
---|
8 | x(3)*x(4)*x(10)*x(11)+x(4)*x(5)*x(14)*x(15), |
---|
9 | x(1)*x(2)*x(3)*x(4)+x(2)*x(3)*x(7)*x(8), |
---|
10 | x(3)*x(4)*x(11)*x(12)+x(4)*x(5)*x(15)*x(16), |
---|
11 | x(1)*x(2)*x(4)*x(5)+x(2)*x(3)*x(8)*x(9), |
---|
12 | x(3)*x(4)*x(12)*x(13)+x(1)*x(4)*x(5)*x(16), |
---|
13 | x(1)*x(2)*x(5)*x(6)+x(5)*x(6)^2*x(7), |
---|
14 | x(7)*x(8)*x(9)*x(10)+x(8)*x(9)*x(13)*x(14), |
---|
15 | x(2)*x(3)*x(5)*x(6)+x(6)^2*x(7)^2+x(7)*x(8)*x(10)*x(11)+x(8)*x(9)*x(14)*x(15), |
---|
16 | x(3)*x(4)*x(5)*x(6)+x(6)*x(7)^2*x(8), |
---|
17 | x(7)*x(8)*x(11)*x(12)+x(8)*x(9)*x(15)*x(16), |
---|
18 | x(4)*x(5)^2*x(6)+x(6)*x(7)*x(8)*x(9), |
---|
19 | x(7)*x(8)*x(12)*x(13)+x(1)*x(8)*x(9)*x(16), |
---|
20 | x(1)*x(2)*x(9)*x(10)+x(5)*x(6)*x(10)*x(11), |
---|
21 | x(9)*x(10)*x(11)*x(12)+x(12)*x(13)^2*x(14), |
---|
22 | x(2)*x(3)*x(9)*x(10)+x(6)*x(7)*x(10)*x(11), |
---|
23 | x(10)*x(11)^2*x(12)+x(12)*x(13)*x(14)*x(15), |
---|
24 | x(3)*x(4)*x(9)*x(10)+x(7)*x(8)*x(10)*x(11)+x(11)^2*x(12)^2+ |
---|
25 | x(12)*x(13)*x(15)*x(16), |
---|
26 | x(4)*x(5)*x(9)*x(10)+x(8)*x(9)*x(10)*x(11), |
---|
27 | x(11)*x(12)^2*x(13)+x(1)*x(12)*x(13)*x(16), |
---|
28 | x(1)*x(2)*x(13)*x(14)+x(5)*x(6)*x(14)*x(15), |
---|
29 | x(1)*x(13)*x(14)*x(16)+x(9)*x(10)*x(15)*x(16), |
---|
30 | x(2)*x(3)*x(13)*x(14)+x(6)*x(7)*x(14)*x(15), |
---|
31 | x(10)*x(11)*x(15)*x(16)+x(1)*x(14)*x(15)*x(16), |
---|
32 | x(3)*x(4)*x(13)*x(14)+x(7)*x(8)*x(14)*x(15), |
---|
33 | x(11)*x(12)*x(15)*x(16)+x(1)*x(15)*x(16)^2, |
---|
34 | x(4)*x(5)*x(13)*x(14)+x(8)*x(9)*x(14)*x(15)+x(12)*x(13)*x(15)*x(16)+ |
---|
35 | x(1)^2*x(16)^2; |
---|
36 | |
---|
37 | eliminate(i0,x(1)*x(2)); |
---|
38 | |
---|
39 | tst_status(1);$ |
---|