| 1 | LIB "tst.lib"; |
|---|
| 2 | LIB "mregular.lib"; |
|---|
| 3 | ring r=0,(x,y,z,t),dp; |
|---|
| 4 | ideal j=x17y14-y31, x20y13, x60-y36z24-x20z20t20; |
|---|
| 5 | int l=reg_CM(j);l; |
|---|
| 6 | l-1; |
|---|
| 7 | ring rr=0,(t,x,y,z),dp; |
|---|
| 8 | ideal j=imap(r,j); |
|---|
| 9 | reg_CM(j); |
|---|
| 10 | ring r1=0,(x,y,z,t),dp; |
|---|
| 11 | ideal i=y4-t3z, x3t-y2z2, x3y2-t2z3, x6-tz5; |
|---|
| 12 | reg_CM(i); |
|---|
| 13 | ring r2=0,(x,y,z,t,w),dp; |
|---|
| 14 | ideal i=xy-zw,x3-yw2,x2z-y2w,y3-xz2,-y2z3+xw4+tw4+w5,-yz4+x2w3+xtw3+xw4, |
|---|
| 15 | -z5+x2tw2+x2w3+yw4; |
|---|
| 16 | reg_CM(i); |
|---|
| 17 | ring r3=0,(x,y,z,t,w,u),dp; |
|---|
| 18 | ideal i=imap(r2,i); |
|---|
| 19 | reg_CM(i); |
|---|
| 20 | ring r4=0,(a,b,c,d,x(0..9)),dp; |
|---|
| 21 | ideal i= x(0)-ab,x(1)-ac,x(2)-ad,x(3)-bc,x(4)-bd,x(5)-cd, |
|---|
| 22 | x(6)-a2,x(7)-b2,x(8)-c2,x(9)-d2; |
|---|
| 23 | ideal ei=eliminate(i,abcd); |
|---|
| 24 | ring r5=0,x(0..9),dp; |
|---|
| 25 | ideal i=imap(r4,ei); |
|---|
| 26 | reg_CM(i); |
|---|
| 27 | ideal mi=intersect(i,maxideal(3)); |
|---|
| 28 | size(mi); |
|---|
| 29 | reg_CM(mi); |
|---|
| 30 | ring s = 0,(x,y,z,t),dp; |
|---|
| 31 | ideal i = x17y14-y31, x20y13, x60-y36z24-x20z20t20; |
|---|
| 32 | reg_curve(i); |
|---|
| 33 | int k=43; |
|---|
| 34 | ideal j=x17y14-y31,x20y13,x60-y36z24-x20z20t20,y41*z^k-y40*z^(k+1); |
|---|
| 35 | reg_curve(j); |
|---|
| 36 | k=14; |
|---|
| 37 | j=x17y14-y31,x20y13,x60-y36z24-x20z20t20,y41*z^k-y40*z^(k+1); |
|---|
| 38 | reg_curve(j); |
|---|
| 39 | k=22; |
|---|
| 40 | j=x17y14-y31,x20y13,x60-y36z24-x20z20t20,y41*z^k-y40*z^(k+1); |
|---|
| 41 | reg_curve(j); |
|---|
| 42 | k=315; |
|---|
| 43 | j=x17y14-y31,x20y13,x60-y36z24-x20z20t20,y41*z^k-y40*z^(k+1); |
|---|
| 44 | reg_curve(j); |
|---|
| 45 | ring s1=0,(a,b,c,d,x(0..9)),dp; |
|---|
| 46 | ideal i= x(0)-ab,x(1)-ac,x(2)-ad,x(3)-bc,x(4)-bd,x(5)-cd, |
|---|
| 47 | x(6)-a2,x(7)-b2,x(8)-c2,x(9)-d2; |
|---|
| 48 | ideal ei=eliminate(i,abcd); |
|---|
| 49 | ring s2=0,x(0..9),dp; |
|---|
| 50 | ideal i=imap(s1,ei); |
|---|
| 51 | reg_curve(i); |
|---|
| 52 | ring s3=0,(t,x,y,z),dp; |
|---|
| 53 | ideal j=imap(s,j); |
|---|
| 54 | reg_curve(j); |
|---|
| 55 | setring s; |
|---|
| 56 | ideal h=x2-3xy+5xt,xy-3y2+5yt,xz-3yz,2xt-yt,y2-yz-2yt; |
|---|
| 57 | reg_curve(h); |
|---|
| 58 | reg_curve(lead(std(h))); |
|---|
| 59 | ring s4=0,(x,y,z,t,u,a,b),dp; |
|---|
| 60 | ideal i=u-b40,t-a40,x-a23b17,y-a22b18+ab39,z-a25b15; |
|---|
| 61 | ideal ei=eliminate(i,ab); |
|---|
| 62 | ring s5=0,(x,y,z,t,u),dp; |
|---|
| 63 | ideal i=imap(s4,ei); |
|---|
| 64 | reg_curve(i); |
|---|
| 65 | ring s6=0,(x(0..8),s,t),dp; |
|---|
| 66 | ideal i=x(0)-st24,x(1)-s2t23,x(2)-s3t22,x(3)-s9t16,x(4)-s11t14,x(5)-s18t7, |
|---|
| 67 | x(6)-s24t,x(7)-t25,x(8)-s25; |
|---|
| 68 | ideal ei=eliminate(i,st); |
|---|
| 69 | ring s7=0,x(0..8),dp; |
|---|
| 70 | ideal i=imap(s6,ei); |
|---|
| 71 | reg_curve(i); |
|---|
| 72 | reg_moncurve(0,1,2,3); |
|---|
| 73 | reg_moncurve(0,1,3,5,6); |
|---|
| 74 | reg_moncurve(1,4,6,9); |
|---|
| 75 | reg_moncurve(0,3,8,5,23); |
|---|
| 76 | reg_moncurve(0,4,7,7,9); |
|---|
| 77 | reg_moncurve(0,2,12,15); |
|---|
| 78 | reg_moncurve(0,5,9,11,20); |
|---|
| 79 | reg_moncurve(0,1,2,3,9,11,18,24,25); |
|---|
| 80 | reg_moncurve(0,1,2,7,16,17,25,27,28,30,36,37); |
|---|
| 81 | ring q=0,(s,t,x(0..11)),dp; |
|---|
| 82 | ideal i=x(0)-st36,x(1)-s2t35,x(2)-s7t30,x(3)-s16t21,x(4)-s17t20,x(5)-s25t12, |
|---|
| 83 | x(6)-s27t10,x(7)-s28t9,x(8)-s30t7,x(9)-s36t,x(10)-s37,x(11)-t37; |
|---|
| 84 | ideal ei=eliminate(i,st); |
|---|
| 85 | ring qq=0,x(0..11),dp; |
|---|
| 86 | ideal i=imap(q,ei); |
|---|
| 87 | reg_curve(i,1); |
|---|
| 88 | reg_moncurve(0,1,2,7,16,17,25,27,28,30,36,37,40,53,55); |
|---|
| 89 | tst_status(1);$ |
|---|
