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