[b806aa] | 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 | |
---|
[4c75fc] | 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 | |
---|
[b806aa] | 65 | tst_status(1);$ |
---|