[da3bf68] | 1 | LIB "tst.lib"; |
---|
| 2 | tst_init(); |
---|
| 3 | |
---|
| 4 | LIB"primdec.lib"; |
---|
| 5 | ring r=32003,(a,b,c,d,e,f),(C,dp); |
---|
| 6 | ideal i= |
---|
| 7 | a2cdf2, |
---|
| 8 | b2cdf2, |
---|
| 9 | a2bdf2, |
---|
| 10 | b3df2, |
---|
| 11 | a3df2, |
---|
| 12 | ab2df2, |
---|
| 13 | a2cde, |
---|
| 14 | b2cde, |
---|
| 15 | a2bde, |
---|
| 16 | b3de, |
---|
| 17 | a3de, |
---|
| 18 | ab2de, |
---|
| 19 | a2cd2, |
---|
| 20 | b2cd2, |
---|
| 21 | a2bd2, |
---|
| 22 | b3d2, |
---|
| 23 | a3d2, |
---|
| 24 | ab2d2, |
---|
| 25 | a2c2f2, |
---|
| 26 | b2c2f2, |
---|
| 27 | a2bcf2, |
---|
| 28 | b3cf2, |
---|
| 29 | a3cf2, |
---|
| 30 | ab2cf2, |
---|
| 31 | a2b2f2, |
---|
| 32 | b4f2, |
---|
| 33 | a3bf2, |
---|
| 34 | ab3f2, |
---|
| 35 | a4f2; |
---|
| 36 | equidimMax(i); |
---|
| 37 | equidimMaxEHV(i); |
---|
| 38 | equidim(i); |
---|
| 39 | equidim(i,1); |
---|
| 40 | |
---|
| 41 | ring r=32003,(a,b,c,d,e,f,g,h,j),(C,dp); |
---|
| 42 | ideal i= |
---|
| 43 | a+2b+c-d+g, |
---|
| 44 | f2gh-a, |
---|
| 45 | efg-c, |
---|
| 46 | fg2j-b, |
---|
| 47 | a+b+c+f+g-1, |
---|
| 48 | 3ad+3bd+2cd+df+dg-a-2b-c-g; |
---|
| 49 | |
---|
| 50 | equidimMax(i); |
---|
| 51 | equidimMaxEHV(i); |
---|
| 52 | equidim(i); |
---|
| 53 | equidim(i,1); |
---|
| 54 | |
---|
| 55 | |
---|
| 56 | ring r=32003,(b,s,t,u,v,w,x,y,z),(C,dp); |
---|
| 57 | ideal i= |
---|
| 58 | bv+su, |
---|
| 59 | bw+tu, |
---|
| 60 | sw+tv, |
---|
| 61 | by+sx, |
---|
| 62 | bz+tx, |
---|
| 63 | sz+ty, |
---|
| 64 | uy+vx, |
---|
| 65 | uz+wx, |
---|
| 66 | vz+wy; |
---|
| 67 | |
---|
| 68 | equidimMax(i); |
---|
| 69 | equidimMaxEHV(i); |
---|
| 70 | equidim(i); |
---|
| 71 | equidim(i,1); |
---|
| 72 | |
---|
| 73 | ring r=32003,(x,y,z),(C,dp); |
---|
| 74 | ideal i= |
---|
| 75 | xy2z2-1xy2z+xyz2-1xyz, |
---|
| 76 | xy3z+xy2z, |
---|
| 77 | xy4-1xy2, |
---|
| 78 | x2yz2-1x2yz, |
---|
| 79 | x2y3-1x2y2, |
---|
| 80 | x4z3-1x4z2+2x3z3-2x3z2+x2z3-1x2z2, |
---|
| 81 | x2y2z, |
---|
| 82 | x4yz+x3yz, |
---|
| 83 | 2x4y2+6x3y2+6x2y2+xy3+xy2, |
---|
| 84 | x5z+x4z2+x4z+2x3z2-1x3z+x2z2-1x2z, |
---|
| 85 | x6y+3x5y+3x4y+x3y; |
---|
| 86 | |
---|
| 87 | equidimMax(i); |
---|
| 88 | equidimMaxEHV(i); |
---|
| 89 | equidim(i); |
---|
| 90 | equidim(i,1); |
---|
| 91 | |
---|
| 92 | ring r=32003,(b,s,t,u,v,w,x,y,z),(C,dp); |
---|
| 93 | ideal i= |
---|
| 94 | su-bv, |
---|
| 95 | tv-sw, |
---|
| 96 | vx-uy, |
---|
| 97 | wy-vz; |
---|
| 98 | |
---|
| 99 | equidimMax(i); |
---|
| 100 | equidimMaxEHV(i); |
---|
| 101 | equidim(i); |
---|
| 102 | equidim(i,1); |
---|
| 103 | |
---|
| 104 | |
---|
| 105 | ring r =32003,(a,b,c,d),(C,dp); |
---|
| 106 | ideal i= |
---|
| 107 | a+b+c+d, |
---|
| 108 | 1cd+1bc+1ab+ad, |
---|
| 109 | 1bcd+1abc+abd+acd, |
---|
| 110 | 1abcd-1; |
---|
| 111 | |
---|
| 112 | equidimMax(i); |
---|
| 113 | equidimMaxEHV(i); |
---|
| 114 | equidim(i); |
---|
| 115 | equidim(i,1); |
---|
| 116 | |
---|
| 117 | tst_status(1);$ |
---|