[5892132] | 1 | LIB "tst.lib"; |
---|
| 2 | tst_init(); |
---|
| 3 | tst_ignore("CVS ID $Id: hres_l.tst,v 1.2 1998/07/01 10:10:49 obachman |
---|
| 4 | Exp $"); |
---|
| 5 | option(prot); |
---|
| 6 | ring r=32003,(y,t,x,z,w),dp; |
---|
| 7 | ideal i=6*t^5*x^3*z^4+5*x^5*z^7+4*t^4*y*z^3*w^4, |
---|
| 8 | 5*t^3*x^2*y^7*z^4+5*t^6*x*y^3*z^3*w^3+4*t^5*x^5*y*w^5, |
---|
| 9 | 2*t^8*z^6+6*t^5*y*z^7*w+6*t^4*y^2*z^3*w^5; |
---|
| 10 | resolution rs=hres(i,0); |
---|
| 11 | betti(rs); |
---|
| 12 | list I=rs; |
---|
| 13 | betti(I); |
---|
| 14 | minres(rs); |
---|
| 15 | list J=rs; |
---|
| 16 | betti(J); |
---|
| 17 | kill r; |
---|
| 18 | |
---|
| 19 | ring r=0,(y,t,x,z,w),dp; |
---|
| 20 | ideal i=6*t^5*x^3*z^4+5*x^5*z^7+4*t^4*y*z^3*w^4, |
---|
| 21 | 5*t^3*x^2*y^7*z^4+5*t^6*x*y^3*z^3*w^3+4*t^5*x^5*y*w^5, |
---|
| 22 | 2*t^8*z^6+6*t^5*y*z^7*w+6*t^4*y^2*z^3*w^5; |
---|
| 23 | resolution rs=hres(i,0); |
---|
| 24 | betti(rs); |
---|
| 25 | list I=rs; |
---|
| 26 | betti(I); |
---|
| 27 | minres(rs); |
---|
| 28 | list J=rs; |
---|
| 29 | betti(J); |
---|
| 30 | kill r; |
---|
| 31 | |
---|
| 32 | ring an=32003,(t,x,y,z,w),(dp,C); // too slow for char 0 |
---|
| 33 | ideal i= |
---|
| 34 | 2t3x5y2z+t5x2yw3+2x2yw8, |
---|
| 35 | 3t6x2yz2+9t3y2zw5+2xy3z2w5, |
---|
| 36 | t3x5y2z2+tx2y3w6+2t5zw6; |
---|
| 37 | resolution rs=hres(i,0); |
---|
| 38 | betti(rs); |
---|
| 39 | list I=rs; |
---|
| 40 | betti(I); |
---|
| 41 | minres(rs); |
---|
| 42 | list J=rs; |
---|
| 43 | betti(J); |
---|
| 44 | kill an; |
---|
| 45 | |
---|
| 46 | ring h3=32003,(z,y,t,x,w),(dp,C); |
---|
| 47 | ideal i= |
---|
| 48 | 5*t^3*x^8*y^2*z+1*t^5*x^2*y*w^6+2*x^2*y*w^11+5*t*w^13, |
---|
| 49 | 7*x*y^6*z^2+4*t^6*x*w^2+9*t^3*y^2*z*w^3+6*x^2*y*w^6, |
---|
| 50 | 8*t*x^5*y^3+2*t^3*x^3*y^2*w+4*t^6*z*w^2+3*x*w^8; |
---|
| 51 | resolution rs=hres(i,0); |
---|
| 52 | betti(rs); |
---|
| 53 | list I=rs; |
---|
| 54 | betti(I); |
---|
| 55 | minres(rs); |
---|
| 56 | list J=rs; |
---|
| 57 | betti(J); |
---|
| 58 | kill h3; |
---|
| 59 | |
---|
| 60 | ring h3=0,(z,y,t,x,w),(dp,C); |
---|
| 61 | ideal i= |
---|
| 62 | 5*t^3*x^8*y^2*z+1*t^5*x^2*y*w^6+2*x^2*y*w^11+5*t*w^13, |
---|
| 63 | 7*x*y^6*z^2+4*t^6*x*w^2+9*t^3*y^2*z*w^3+6*x^2*y*w^6, |
---|
| 64 | 8*t*x^5*y^3+2*t^3*x^3*y^2*w+4*t^6*z*w^2+3*x*w^8; |
---|
| 65 | resolution rs=hres(i,0); |
---|
| 66 | betti(rs); |
---|
| 67 | list I=rs; |
---|
| 68 | betti(I); |
---|
| 69 | minres(rs); |
---|
| 70 | list J=rs; |
---|
| 71 | betti(J); |
---|
| 72 | kill h3; |
---|
| 73 | |
---|
| 74 | tst_status(1);$ |
---|