[b1ac99] | 1 | LIB "tst.lib"; |
---|
| 2 | tst_init(); |
---|
| 3 | option(prot); |
---|
| 4 | //option(notRegularity); |
---|
| 5 | //ring r=31991,(t,x,y,z,w),(c,ls); |
---|
| 6 | //ideal i=x2+y2yz,y2+z2zw,t2+x2xy,x3+y3+t3,xyz; |
---|
| 7 | //ideal ii=x3+yzw,y3+zwt,z3+wtx,w3+txy,t2+xy; |
---|
| 8 | //ideal iii=x3+yzw,y3+zwt,z3+wtx,w2+txy,t2+xy; |
---|
| 9 | //ideal tt=t2x2+tx2y+x2yz,t2y2+ty2z+y2zw,t2z2+tz2w+xz2w,t2w2+txw2+xyw2; |
---|
| 10 | //ideal T=std(tt); |
---|
| 11 | //timer = 1; |
---|
| 12 | //res(T,0,t1); |
---|
| 13 | //sres(T,0,t2); |
---|
| 14 | //mres(T,0,t3); |
---|
| 15 | //-------------------------------------------------------------- |
---|
| 16 | ring an=32003,(w,x,y,z),(dp,C); |
---|
| 17 | ideal i= |
---|
| 18 | 1w2xy+1w2xz+1w2yz+1wxyz+1x2yz+1xy2z+1xyz2, |
---|
| 19 | 1w4x+1w4z+1w3yz+1w2xyz+1wx2yz+1x2y2z+1xy2z2, |
---|
| 20 | 1w6+1w5z+1w4xz+1w3xyz+1w2xy2z+1wx2y2z+1x2y2z2; |
---|
| 21 | ideal j=std(i); |
---|
| 22 | list jres=sres(j,0); |
---|
| 23 | list jmin=minres(jres); |
---|
| 24 | print(betti(jmin),"betti"); |
---|
| 25 | list jres1=mres(i,0); |
---|
| 26 | print(betti(jres1),"betti"); |
---|
[1d43006] | 27 | list jres2=nres(i,0); |
---|
[b1ac99] | 28 | list jmin2=minres(jres2); |
---|
| 29 | print(betti(jmin2),"betti"); |
---|
| 30 | kill an; |
---|
| 31 | //-------------------------------------------------------------- |
---|
| 32 | ring pa2=32003,(w,t,u,x,y,z),(dp,C); |
---|
| 33 | ideal i= |
---|
| 34 | 1w10t2u2-2w5tu2x6-2w5tu2y6+2w5tu2z6+1u2x12+2u2x6y6-2u2x6z6+1u2y12-2u2y6z6+1u2z12, |
---|
| 35 | -1w5t5u-1w5tux4-1w5tuy4-1w5tuz4+1t4ux6+1t4uy6-1t4uz6+1ux10+1ux6y4+1ux6z4 |
---|
| 36 | +1ux4y6-1ux4z6+1uy10+1uy6z4-1uy4z6-1uz10, |
---|
| 37 | 1t8+2t4x4+2t4y4+2t4z4+1x8+2x4y4+2x4z4+1y8+2y4z4+1z8, |
---|
| 38 | 1w5t3u-1w5tux2-1w5tuy2+1w5tuz2-1t2ux6-1t2uy6+1t2uz6+1ux8+1ux6y2-1ux6z2 |
---|
| 39 | +1ux2y6-1ux2z6+1uy8-1uy6z2-1uy2z6+1uz8, |
---|
| 40 | -1t6+1t4x2+1t4y2-1t4z2-1t2x4-1t2y4-1t2z4+1x6+1x4y2-1x4z2+1x2y4+1x2z4+1y6 |
---|
| 41 | -1y4z2+1y2z4-1z6, |
---|
| 42 | 1t4-2t2x2-2t2y2+2t2z2+1x4+2x2y2-2x2z2+1y4-2y2z2+1z4; |
---|
| 43 | ideal j=std(i); |
---|
| 44 | list jres=sres(j,0); |
---|
| 45 | list jmin=minres(jres); |
---|
| 46 | print(betti(jmin),"betti"); |
---|
| 47 | list jres1=mres(i,0); |
---|
| 48 | print(betti(jres1),"betti"); |
---|
[1d43006] | 49 | list jres2=nres(i,0); |
---|
[b1ac99] | 50 | list jmin2=minres(jres2); |
---|
| 51 | print(betti(jmin2),"betti"); |
---|
| 52 | kill pa2; |
---|
| 53 | //-------------------------------------------------------------- |
---|
| 54 | ring sw5=32003,(a,b,c,d,e,h),(dp,C); |
---|
| 55 | ideal i= |
---|
| 56 | -1ab-1b2-2de-2ch, |
---|
| 57 | -1ac-2bc-1e2-2dh, |
---|
| 58 | -1c2-1ad-2bd-2eh, |
---|
| 59 | -2cd-1ae-2be-1h2, |
---|
| 60 | -1d2-2ce-1ah-2bh; |
---|
| 61 | ideal j=std(i); |
---|
| 62 | list jres=sres(j,0); |
---|
| 63 | list jmin=minres(jres); |
---|
| 64 | print(betti(jmin),"betti"); |
---|
| 65 | list jres1=mres(i,0); |
---|
| 66 | print(betti(jres1),"betti"); |
---|
[1d43006] | 67 | list jres2=nres(i,0); |
---|
[b1ac99] | 68 | list jmin2=minres(jres2); |
---|
| 69 | print(betti(jmin2),"betti"); |
---|
| 70 | kill sw5; |
---|
| 71 | //-------------------------------------------------------------- |
---|
| 72 | ring r=32003,(t,x,y,z,w),(dp,C); |
---|
| 73 | ideal i= |
---|
| 74 | x2w+y2z, |
---|
| 75 | y2x+z2w, |
---|
| 76 | t2w+x2y, |
---|
| 77 | x3+y3+t3; |
---|
| 78 | ideal j=std(i); |
---|
| 79 | list jres=sres(j,0); |
---|
| 80 | list jmin=minres(jres); |
---|
| 81 | print(betti(jmin),"betti"); |
---|
| 82 | list jres1=mres(i,0); |
---|
| 83 | print(betti(jres1),"betti"); |
---|
[1d43006] | 84 | list jres2=nres(i,0); |
---|
[b1ac99] | 85 | list jmin2=minres(jres2); |
---|
| 86 | print(betti(jmin2),"betti"); |
---|
| 87 | kill r; |
---|
| 88 | //-------------------------------------------------------------- |
---|
[7c4b92] | 89 | ring r1=32003,(a,b,x,y,z),ls; |
---|
| 90 | module m1 = gen(1)+x2z3*gen(2), |
---|
| 91 | x4yz3*gen(2); |
---|
| 92 | resolution rr = sres(std(m1),0); |
---|
| 93 | rr; |
---|
| 94 | list(rr); |
---|
| 95 | //-------------------------------------------------------------- |
---|
[25c267] | 96 | example res; |
---|
| 97 | |
---|
[7c4b92] | 98 | |
---|
[46976a6] | 99 | tst_status(1);$ |
---|
[b1ac99] | 100 | |
---|