1 | LIB "tst.lib"; |
---|
2 | tst_init(); |
---|
3 | |
---|
4 | // homogonizations and variable weights: |
---|
5 | |
---|
6 | ring r=0,(x,y,z),M(2,3,1,1,0,0,0,1,0); |
---|
7 | poly p=x+y+z; |
---|
8 | homog(p,z); |
---|
9 | ring s=0,(x,y,z),wp(2,3,1); |
---|
10 | poly p=x+y+z; |
---|
11 | homog(p,z); |
---|
12 | |
---|
13 | ring rr=0,(x,y,z),M(2,3,4,1,0,0,0,1,0); |
---|
14 | poly p=x+y+z; |
---|
15 | homog(p,z); |
---|
16 | ring ss=0,(x,y,z),wp(2,3,4); |
---|
17 | poly p=x+y+z; |
---|
18 | homog(p,z); |
---|
19 | |
---|
20 | // -- syz in qring (fixed in 3-1-0-3) |
---|
21 | ring rs=32003,(T(1..11)),(a(1,1,1,1,1,1,1,2,2,1,2),dp,C); |
---|
22 | ideal I; |
---|
23 | I[1]=T(3)*T(7)-T(2)*T(10); |
---|
24 | I[2]=T(6)^2-T(2)*T(10); |
---|
25 | I[3]=T(5)*T(6)+T(7)^2; |
---|
26 | I[4]=T(3)*T(6)+T(1)*T(10); |
---|
27 | I[5]=T(2)*T(6)+T(1)*T(7); |
---|
28 | I[6]=T(1)*T(6)-T(4)*T(10); |
---|
29 | I[7]=T(3)*T(5)+T(6)*T(7); |
---|
30 | I[8]=T(1)*T(5)-T(2)*T(7); |
---|
31 | I[9]=T(2)*T(3)+T(4)*T(10); |
---|
32 | I[10]=T(2)^2+T(4)*T(7); |
---|
33 | I[11]=T(1)*T(2)-T(4)*T(6); |
---|
34 | I[12]=T(1)^2+T(3)*T(4); |
---|
35 | I[13]=T(8)*T(10)-T(7)*T(11); |
---|
36 | I[14]=T(3)*T(8)-T(2)*T(11); |
---|
37 | I[15]=T(10)^3+T(6)*T(11); |
---|
38 | I[16]=T(7)*T(10)^2+T(6)*T(8); |
---|
39 | I[17]=T(6)*T(10)^2+T(2)*T(11); |
---|
40 | I[18]=T(5)*T(10)^2-T(7)*T(8); |
---|
41 | I[19]=T(3)*T(10)^2-T(1)*T(11); |
---|
42 | I[20]=T(2)*T(10)^2-T(1)*T(8); |
---|
43 | I[21]=T(1)*T(10)^2+T(4)*T(11); |
---|
44 | I[22]=T(6)*T(7)*T(10)+T(2)*T(8); |
---|
45 | I[23]=T(1)*T(7)*T(10)+T(4)*T(8); |
---|
46 | I[24]=T(7)^3+T(9)*T(10); |
---|
47 | I[25]=T(6)*T(7)^2+T(2)*T(5)*T(10); |
---|
48 | I[26]=T(2)*T(7)^2+T(3)*T(9); |
---|
49 | I[27]=T(1)*T(7)^2+T(4)*T(5)*T(10); |
---|
50 | I[28]=T(4)*T(5)*T(7)-T(1)*T(9); |
---|
51 | I[29]=T(2)*T(5)*T(7)-T(6)*T(9); |
---|
52 | |
---|
53 | I = std(I); |
---|
54 | size(I); |
---|
55 | qring q = I; |
---|
56 | ideal f; |
---|
57 | f[1]=T(10); |
---|
58 | f[2]=T(3)*T(11); |
---|
59 | f[3]=T(3)^2*T(4); |
---|
60 | homog(f); |
---|
61 | option(prot); |
---|
62 | size(syz(f)); |
---|
63 | syz(f); |
---|
64 | |
---|
65 | tst_status(1);$ |
---|