| 1 | LIB "tst.lib"; |
|---|
| 2 | tst_init(); |
|---|
| 3 | //option(prot); |
|---|
| 4 | //test(28); |
|---|
| 5 | "========= Alex4"; |
|---|
| 6 | ring h4=32003,(t,x,y,z,w),(dp,c); |
|---|
| 7 | ideal j= |
|---|
| 8 | 4t4z3y+6z4x3t5+5x5z7, |
|---|
| 9 | 5t6z3y3x+5x2z4t3y7+4x5t5y, |
|---|
| 10 | 6z7t5y+6z3y2t4+2t8z6; |
|---|
| 11 | ideal i=homog(j,w); |
|---|
| 12 | timer=1; |
|---|
| 13 | i=std(i); |
|---|
| 14 | list I=sres(i,0); |
|---|
| 15 | betti(I); |
|---|
| 16 | kill h4; |
|---|
| 17 | |
|---|
| 18 | "======== standard"; |
|---|
| 19 | ring rh2=32003,(w,x,y,z),(dp,c); |
|---|
| 20 | poly p1 = 1x3y2+21328x5y+10667x2y4+21328x2yz3+10666xy6+10667y9; |
|---|
| 21 | poly p2 = 1x2y2z2+3z8; |
|---|
| 22 | poly p3 = 5x4y2+4xy5+2x2y2z3+1y7+11x10; |
|---|
| 23 | ideal j= p1,p2,p3; |
|---|
| 24 | ideal i=homog(j,w); |
|---|
| 25 | timer=1; |
|---|
| 26 | i=std(i); |
|---|
| 27 | list I=sres(i,0); |
|---|
| 28 | betti(I); |
|---|
| 29 | kill rh2; |
|---|
| 30 | |
|---|
| 31 | "== f(11,10,3,1)"; |
|---|
| 32 | ring rh3=32003,(w,x,y,z),(dp,c); |
|---|
| 33 | int a =11; |
|---|
| 34 | int b =10; |
|---|
| 35 | int c =3; |
|---|
| 36 | int t =1; |
|---|
| 37 | poly f= x^a+y^b+z^(3*c)+x^(c+2)*y^(c-1)+x^(c-1)*y^(c-1)*z3+x^(c-2)*y^c*(y2+t*x)^2; |
|---|
| 38 | ideal j= jacob(f); |
|---|
| 39 | ideal i=homog(j,w); |
|---|
| 40 | timer=1; |
|---|
| 41 | i=std(i); |
|---|
| 42 | list I=sres(i,0); |
|---|
| 43 | betti(I); |
|---|
| 44 | kill b,c,t,a,rh3; |
|---|
| 45 | |
|---|
| 46 | "======== h(6)"; |
|---|
| 47 | ring rh4=32003,(w,x,y,z),(dp,c); |
|---|
| 48 | int a=6; |
|---|
| 49 | poly f =xyz*(x+y+z)^2 +(x+y+z)^3 +x^a+y^a+z^a; |
|---|
| 50 | ideal j= jacob(f); |
|---|
| 51 | ideal i=homog(j,w); |
|---|
| 52 | timer=1; |
|---|
| 53 | i=std(i); |
|---|
| 54 | list I=sres(i,0); |
|---|
| 55 | betti(I); |
|---|
| 56 | kill a,rh4; |
|---|
| 57 | |
|---|
| 58 | "======== h(7)"; |
|---|
| 59 | ring rh5=32003,(w,x,y,z),(dp,c); |
|---|
| 60 | int a =7; |
|---|
| 61 | poly f=xyz*(x+y+z)^2 +(x+y+z)^3 +x^a+y^a+z^a; |
|---|
| 62 | ideal j= jacob(f); |
|---|
| 63 | ideal i=homog(j,w); |
|---|
| 64 | timer=1; |
|---|
| 65 | i=std(i); |
|---|
| 66 | list I=sres(i,0); |
|---|
| 67 | betti(I); |
|---|
| 68 | kill a,rh5; |
|---|
| 69 | |
|---|
| 70 | "======== g(6,8,10,5,5;0)"; |
|---|
| 71 | ring rh7=32003,(w,x,y,z),(dp,c); |
|---|
| 72 | int a= 6; |
|---|
| 73 | int b= 8; |
|---|
| 74 | int c =10; |
|---|
| 75 | int alpha=5; |
|---|
| 76 | int beta= 5; |
|---|
| 77 | int t=0; |
|---|
| 78 | poly f =x^a+y^b+z^c+x^alpha*y^(beta-5)+x^(alpha-2)*y^(beta-3)+x^(alpha-3)*y^(beta-4)*z^2+x^(alpha-4)*y^(beta-4)*(y^2+t*x)^2; |
|---|
| 79 | ideal j =jacob(f); |
|---|
| 80 | ideal i=homog(j,w); |
|---|
| 81 | timer=1; |
|---|
| 82 | i=std(i); |
|---|
| 83 | list I=sres(i,0); |
|---|
| 84 | betti(I); |
|---|
| 85 | kill a, b, c, alpha ,beta, t, rh7; |
|---|
| 86 | |
|---|
| 87 | "======== (max5)^2"; |
|---|
| 88 | ring so2=32003,(h,w,x,y,z,t),(dp,c); |
|---|
| 89 | ideal in =wx2y2z2t2+w,w2xy2z2t2+x,w2x2yz2t2+y,w2x2y2zt2+z,w2x2y2z2t+t; |
|---|
| 90 | ideal i = homog(in,h)^2; |
|---|
| 91 | timer=1; |
|---|
| 92 | i=std(i); |
|---|
| 93 | list I=sres(i,0); |
|---|
| 94 | betti(I); |
|---|
| 95 | kill so2; |
|---|
| 96 | |
|---|
| 97 | "==randomSyz1"; |
|---|
| 98 | ring ra=32003,(a,b,c,d,e,f),(dp,c); |
|---|
| 99 | ideal i= |
|---|
| 100 | 6739a3+1039a2b-7486ab2+3718b3-11069a2c+6473abc-5891b2c-12382ac2+1623bc2 |
|---|
| 101 | +4363c3-5151a2d+15452abd+13118b2d-7061acd+4295bcd+204c2d-12178ad2+7928bd2+14cd2 |
|---|
| 102 | +5562d3-6285a2e-10789abe+1785b2e+687ace+11524bce+12733c2e+8483ade-11294bde-3594cde |
|---|
| 103 | +12201d2e-7682ae2+3312be2-268ce2-13575de2+5144e3, |
|---|
| 104 | 4250a3-5177a2b+13404ab2+426b3+11302a2c-15885abc+12078b2c-1036ac2-1799bc2 |
|---|
| 105 | -7475c3-9907a2d-6162abd+10416b2d+2042acd+15283bcd+11998c2d+575ad2+719bd2-7042cd2 |
|---|
| 106 | +4028d3+8193a2e-9701abe-3251b2e+12458ace-10367bce+3348c2e+10191ade+13321bde |
|---|
| 107 | +13623cde-5183d2e+9584ae2-10484be2-6235ce2-15629de2+2327e3, |
|---|
| 108 | 6550a3+4965a2b+12096ab2-12270b3-14859a2c+2541abc-8313b2c-13376ac2-2239bc2 |
|---|
| 109 | +2634c3-1804a2d-9400abd-15441b2d+4784acd+7087bcd-10294c2d+8698ad2-6351bd2-387cd2 |
|---|
| 110 | -11534d3-13666a2e+14767abe+5618b2e+8275ace+675bce+11539c2e-3124ade-14915bde |
|---|
| 111 | +15670cde-7223d2e-1840ae2-14459be2+895ce2-12702de2+2068e3, |
|---|
| 112 | 15942a3+4739a2b-5019ab2-6691b3+600a2c-1561abc+14937b2c-14659ac2-8392bc2 |
|---|
| 113 | +12410c3+3327a2d-14426abd+7985b2d-10298acd-2630bcd-4528c2d-12983ad2+8567bd2 |
|---|
| 114 | -14036cd2+10885d3-7763a2e-3366abe-3579b2e+2908ace-5392bce-336c2e+10534ade-11990bde |
|---|
| 115 | +12114cde-4105d2e+14357ae2-3578be2-5592ce2+13057de2+10409e3; |
|---|
| 116 | timer=1; |
|---|
| 117 | i=std(i); |
|---|
| 118 | list I=sres(i,0); |
|---|
| 119 | betti(I); |
|---|
| 120 | kill ra; |
|---|
| 121 | tst_status(1);$ |
|---|
