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);$ |
---|