| [b35b93] | 1 | LIB "tst.lib"; |
|---|
| 2 | tst_init(); |
|---|
| 3 | |
|---|
| 4 | LIB"normal.lib"; |
|---|
| 5 | |
|---|
| 6 | ring r=31991,(a,b,c,d,e),dp; |
|---|
| 7 | ideal i= |
|---|
| 8 | 5abcde-a5-b5-c5-d5-e5, |
|---|
| 9 | ab3c+bc3d+a3be+cd3e+ade3, |
|---|
| 10 | a2bc2+b2cd2+a2d2e+ab2e2+c2de2, |
|---|
| 11 | abc5-b4c2d-2a2b2cde+ac3d2e-a4de2+bcd2e3+abe5, |
|---|
| 12 | ab2c4-b5cd-a2b3de+2abc2d2e+ad4e2-a2bce3-cde5, |
|---|
| 13 | a3b2cd-bc2d4+ab2c3e-b5de-d6e+3abcd2e2-a2be4-de6, |
|---|
| 14 | a4b2c-abc2d3-ab5e-b3c2de-ad5e+2a2bcde2+cd2e4, |
|---|
| 15 | b6c+bc6+a2b4e-3ab2c2de+c4d2e-a3cde2-abd3e2+bce5; |
|---|
| 16 | |
|---|
| 17 | list pr=normal(i); |
|---|
| 18 | pr; |
|---|
| [71a293d] | 19 | def r1=pr[1][1]; |
|---|
| [b35b93] | 20 | setring r1; |
|---|
| [1598568] | 21 | norid; normap; |
|---|
| [b35b93] | 22 | kill r,r1; |
|---|
| 23 | |
|---|
| 24 | ring r=32003,(x,y,z),wp(2,3,6); |
|---|
| 25 | ideal i=zy2-zx3-x6; |
|---|
| [71a293d] | 26 | list pr=normalC(i); |
|---|
| [b35b93] | 27 | pr; |
|---|
| [71a293d] | 28 | def r1=pr[1][1]; |
|---|
| [b35b93] | 29 | setring r1; |
|---|
| [1598568] | 30 | norid; normap; |
|---|
| [b35b93] | 31 | kill r,r1; |
|---|
| 32 | |
|---|
| 33 | ring r=32003,(x,y,z),dp; |
|---|
| 34 | ideal i=(x-y)*(x-z)*(y-z); |
|---|
| 35 | |
|---|
| [71a293d] | 36 | list pr=normalC(i); |
|---|
| [b35b93] | 37 | pr; |
|---|
| [71a293d] | 38 | def r1=pr[1][1]; |
|---|
| 39 | def r2=pr[1][2]; |
|---|
| [b35b93] | 40 | setring r1; |
|---|
| [1598568] | 41 | norid; normap; |
|---|
| [b35b93] | 42 | kill r,r1; |
|---|
| 43 | |
|---|
| 44 | ring r=32003,(b,s,t,u,v,w,x,y,z),dp; |
|---|
| 45 | |
|---|
| 46 | ideal k= |
|---|
| 47 | wy-vz, |
|---|
| 48 | vx-uy, |
|---|
| 49 | tv-sw, |
|---|
| 50 | su-bv, |
|---|
| 51 | tuy-bvz; |
|---|
| 52 | ideal j=x2y2+x2z2+y2z2; |
|---|
| 53 | ideal i=mstd(intersect(j,k))[2]; |
|---|
| [71a293d] | 54 | list pr=normalC(i); |
|---|
| [b35b93] | 55 | pr; |
|---|
| [71a293d] | 56 | def r1=pr[1][1]; |
|---|
| 57 | def r4=pr[1][4]; |
|---|
| [b35b93] | 58 | setring r1; |
|---|
| [1598568] | 59 | norid; normap; |
|---|
| [b35b93] | 60 | setring r4; |
|---|
| [1598568] | 61 | norid; normap; |
|---|
| [b35b93] | 62 | |
|---|
| 63 | kill r,r1; |
|---|
| [237da4] | 64 | |
|---|
| [b2d5b9] | 65 | |
|---|
| 66 | example deltaLoc; |
|---|
| [75f460] | 67 | example genus; |
|---|
| [b2d5b9] | 68 | |
|---|
| [46976a6] | 69 | tst_status(1);$ |
|---|
| [b2d5b9] | 70 | |
|---|
| 71 | |
|---|
| [237da4] | 72 | // This is the example Theo 3 which is still broken due to the broken |
|---|
| 73 | // minor command |
|---|
| 74 | ring r=32003,(x,y,z),wp(3,5,15); |
|---|
| 75 | ideal i=z*(y3-x5)+x10; |
|---|
| [71a293d] | 76 | list pr=normalC(i); |
|---|
| [237da4] | 77 | pr; |
|---|
| [71a293d] | 78 | def r1=pr[1][1]; |
|---|
| [237da4] | 79 | setring r1; |
|---|
| [1598568] | 80 | norid; normap; |
|---|
| [237da4] | 81 | kill r, r1; |
|---|
