| 1 | option(prot); |
|---|
| 2 | ring h1=32003,(t,x,y,z),dp; |
|---|
| 3 | ideal i= |
|---|
| 4 | 9x8+y7t3z4+5x4y2t2+2xy2z3t2, |
|---|
| 5 | 9y8+7xy6t+2x5y4t2+2x2yz3t2, |
|---|
| 6 | 9z8+3x2y3z2t4; |
|---|
| 7 | intvec E=weight(i); |
|---|
| 8 | E; |
|---|
| 9 | ring r1 = 32003,(a,b,c,d,e,f),dp; |
|---|
| 10 | ideal i0 = |
|---|
| 11 | a+b+c+d+e+f, |
|---|
| 12 | ab+bc+cd+de+ef+fa, |
|---|
| 13 | abc+bcd+cde+d*ef+efa+fab, |
|---|
| 14 | abcd+bcde+cdef+defa+efab+fabc, |
|---|
| 15 | abcde+bcdef+cdefa+defab+efabc+fabcd, |
|---|
| 16 | abcdef+1; |
|---|
| 17 | ring rm=32003,(g,h,l,m,n,o),dp; |
|---|
| 18 | map f=r1,g,h,l3,m+n2,n,o2; |
|---|
| 19 | option(redSB); |
|---|
| 20 | ideal i=interred(f(i0)); |
|---|
| 21 | i; |
|---|
| 22 | test(22); |
|---|
| 23 | intvec e=weight(i); |
|---|
| 24 | e; |
|---|
| 25 | test(-22); |
|---|
| 26 | ring sp= 32003,(t,x,y,z),dp; |
|---|
| 27 | ideal i=t18x2-t19z-t18z2,t26xy-t27z-t25z3,t38y2-t37xy; |
|---|
| 28 | intvec e=weight(i); |
|---|
| 29 | e; |
|---|
| 30 | test(22); |
|---|
| 31 | test(9); |
|---|
| 32 | ring al1=32003,(x,t,y,z),ds; |
|---|
| 33 | option(weightM); |
|---|
| 34 | ideal i= |
|---|
| 35 | 9x8+y7t3z4+5x4y2t2+2xy2z3t2, |
|---|
| 36 | 9y8+7xy6t+2x5y4t2+2x2yz3t2, |
|---|
| 37 | 9z8+3x2y3z2t4; |
|---|
| 38 | ideal k=interred(i^2); |
|---|
| 39 | k; |
|---|
| 40 | degBound=1; |
|---|
| 41 | ideal j=std(k); |
|---|
| 42 | j; |
|---|
| 43 | kill al1; |
|---|
| 44 | LIB "tst.lib";tst_status(1);$ |
|---|
