1 | ring r1=32003,x,ds; |
---|
2 | module m=gen(1),gen(5); |
---|
3 | dim(m); |
---|
4 | mult(m); |
---|
5 | degree(m); |
---|
6 | vdim(m); |
---|
7 | kbase(m); |
---|
8 | hilb(m); |
---|
9 | m=m,x2*gen(2),x4*gen(2),x3*gen(3),x*gen(4); |
---|
10 | dim(m); |
---|
11 | mult(m); |
---|
12 | degree(m); |
---|
13 | vdim(m); |
---|
14 | kbase(m); |
---|
15 | hilb(m); |
---|
16 | kill r1; |
---|
17 | |
---|
18 | ring r2=32003,(x,y,z,w),dp; |
---|
19 | module m0= |
---|
20 | [x2y+yz2,0], |
---|
21 | [yzw+w3,0], |
---|
22 | [xyzw-1,0], |
---|
23 | [0,x3+yzw], |
---|
24 | [0,y3+xzw], |
---|
25 | [0,w2+z2]; |
---|
26 | module m=std(m0); |
---|
27 | dim(m); |
---|
28 | mult(m); |
---|
29 | degree(m); |
---|
30 | hilb(m); |
---|
31 | ideal i=maxideal(5); |
---|
32 | hilb(i); |
---|
33 | kbase(i); |
---|
34 | vdim(i); |
---|
35 | kill r2; |
---|
36 | |
---|
37 | int n=2; |
---|
38 | ring r3=32003,(x(1..16)),dp; |
---|
39 | ideal i0= |
---|
40 | x(1)+x(2)+x(3)+x(4), |
---|
41 | x(1)^2*x(2)^2+x(2)*x(3)*x(5)*x(6), |
---|
42 | x(3)*x(4)*x(9)*x(10)+x(4)*x(5)*x(13)*x(14), |
---|
43 | x(1)*x(2)^2*x(3)+x(2)*x(3)*x(6)*x(7), |
---|
44 | x(3)*x(4)*x(11)*x(12)+x(4)*x(5)*x(15)*x(16), |
---|
45 | x(7)*x(8)*x(9)*x(10)+x(8)*x(9)*x(13)*x(14), |
---|
46 | x(7)*x(8)*x(11)*x(12)+x(8)*x(9)*x(15)*x(16), |
---|
47 | x(1)*x(2)*x(9)*x(10)+x(5)*x(6)*x(10)*x(11), |
---|
48 | x(2)*x(3)*x(9)*x(10)+x(6)*x(7)*x(10)*x(11), |
---|
49 | x(11)*x(12)*x(15)*x(16)+x(1)*x(15)*x(16)^2, |
---|
50 | x(4)*x(5)*x(13)*x(14)+x(8)*x(9)*x(14)*x(15)+x(12)*x(13)*x(15)*x(16)+ |
---|
51 | x(1)^2*x(16)^2, |
---|
52 | x(1)^n,x(2)^n,x(3)^n,x(4)^n,x(5)^n,x(6)^n,x(7)^n,x(8)^n, |
---|
53 | x(9)^n,x(10)^n,x(11)^n,x(12)^n,x(13)^n,x(14)^n,x(15)^n,x(16)^n; |
---|
54 | ideal k0=std(i0); |
---|
55 | dim(k0); |
---|
56 | degree(k0); |
---|
57 | hilb(k0); |
---|
58 | mult(k0); |
---|
59 | vdim(k0); |
---|
60 | kill r3; |
---|
61 | |
---|
62 | ring r4=32003,(x(1..6)),ds; |
---|
63 | ideal i0= |
---|
64 | x(1)+x(2)+x(3)+x(4), |
---|
65 | x(1)^2*x(2)^2+x(2)*x(3)*x(5)*x(6), |
---|
66 | x(1)*x(2)^2*x(3)+x(2)*x(3)*x(6)^2; |
---|
67 | module m=syz(i0); |
---|
68 | dim(m); |
---|
69 | mult(m); |
---|
70 | degree(m); |
---|
71 | vdim(m); |
---|
72 | hilb(m); |
---|
73 | $ |
---|