| 1 | LIB "tst.lib";tst_init(); |
|---|
| 2 | |
|---|
| 3 | //gcd_univar_p_s.tst and gcd_univar_p_alpha_s.tst are derived from these computations |
|---|
| 4 | |
|---|
| 5 | "untitled1(1/p/1)"; |
|---|
| 6 | ring r=(32003,u),(t,x,y),dp; |
|---|
| 7 | ideal i=x-t15,y-t21-ut25+2t29-4t33+3t37+96/5t41-87t45; |
|---|
| 8 | option(prot); |
|---|
| 9 | ideal j=std(i); |
|---|
| 10 | size(j); |
|---|
| 11 | degree(j); |
|---|
| 12 | |
|---|
| 13 | kill r; |
|---|
| 14 | |
|---|
| 15 | "anborg 7(1/p/1)"; |
|---|
| 16 | ring r=(32003,u),(x,y,z),dp; |
|---|
| 17 | ideal i= |
|---|
| 18 | u3x2+yz+xy2z+xyz2+xyz+xy+xz+yz, |
|---|
| 19 | ux2y2z+xy2z2+x2yz+xyz+yz+x+z, |
|---|
| 20 | u2x2y2z2+x2y2z+xy2z+xyz+xz+z+1; |
|---|
| 21 | option(prot); |
|---|
| 22 | option(redSB); |
|---|
| 23 | ideal j=std(i); |
|---|
| 24 | size(j); |
|---|
| 25 | degree(j); |
|---|
| 26 | |
|---|
| 27 | ring s=(32003,u),(x,y,z),lp; |
|---|
| 28 | ideal k=fglm(r,j); |
|---|
| 29 | |
|---|
| 30 | kill s; |
|---|
| 31 | kill r; |
|---|
| 32 | |
|---|
| 33 | "coprasse(1/p/1)"; |
|---|
| 34 | ring r=(32003,u),(x,y,z,t),dp; |
|---|
| 35 | ideal i= |
|---|
| 36 | y2z+2xyt-2x-z, |
|---|
| 37 | -x3z+4xy2z+4x2yt+2y3t+4x2-10y2+4xz-10yt+2, |
|---|
| 38 | 2uyzt+xt2-x-2z, |
|---|
| 39 | -xz3+4yz2t+4xzt2+2yt3+4xz+4z2-10yt-10t2+2; |
|---|
| 40 | option(prot); |
|---|
| 41 | option(redSB); |
|---|
| 42 | ideal j=std(i); |
|---|
| 43 | size(j); |
|---|
| 44 | degree(j); |
|---|
| 45 | |
|---|
| 46 | ring s=(32003,u),(x,y,z,t),lp; |
|---|
| 47 | ideal k=fglm(r,j); |
|---|
| 48 | |
|---|
| 49 | kill s; |
|---|
| 50 | kill r; |
|---|
| 51 | |
|---|
| 52 | "inhomog cyclic 6(1/p/1)"; |
|---|
| 53 | ring r=(32003,u),(a,b,c,d,e,f),dp; |
|---|
| 54 | ideal i= |
|---|
| 55 | a+b+c+d+e+f, |
|---|
| 56 | ab+bc+cd+de+ef+fa, |
|---|
| 57 | abc+bcd+cde+d*e*f + efa + fab, |
|---|
| 58 | uabcd+bcde+c*d*e*f+d*e*f*a + efab + fabc, |
|---|
| 59 | abcde+b*c*d*e*f+c*d*e*f*a+d*e*f*a*b+efabc+fabcd, |
|---|
| 60 | a*b*c*d*e*f; |
|---|
| 61 | option(prot); |
|---|
| 62 | ideal j=std(i); |
|---|
| 63 | size(j); |
|---|
| 64 | degree(j); |
|---|
| 65 | |
|---|
| 66 | |
|---|
| 67 | kill r; |
|---|
| 68 | |
|---|
| 69 | "inhomog cyclic 5(1/p/1)"; |
|---|
| 70 | ring r=(32003,u),(a,b,c,d,e),dp; |
|---|
| 71 | ideal i= |
|---|
| 72 | a+b+c+d+e, |
|---|
| 73 | ab+bc+cd+de+ea, |
|---|
| 74 | abc+bcd+cde+dea+eab, |
|---|
| 75 | uabcd+bcde+cdea+deab+eabc, |
|---|
| 76 | uabcde+1; |
|---|
| 77 | option(prot); |
|---|
| 78 | option(redSB); |
|---|
| 79 | ideal j=std(i); |
|---|
| 80 | size(j); |
|---|
| 81 | degree(j); |
|---|
| 82 | |
|---|
| 83 | |
|---|
| 84 | ring s=(32003,u),(a,b,c,d,e),lp; |
|---|
| 85 | ideal k=fglm(r,j); |
|---|
| 86 | |
|---|
| 87 | |
|---|
| 88 | kill s; |
|---|
| 89 | kill r; |
|---|
| 90 | |
|---|
| 91 | "inhomog cyclic 5(1/p/2)"; |
|---|
| 92 | ring r=(32003,u),(a,b,c,d,e),dp; |
|---|
| 93 | ideal i= |
|---|
| 94 | ua+b+c+d+e, |
|---|
| 95 | ab+bc+cd+de+ea, |
|---|
| 96 | abc+bcd+cde+dea+eab, |
|---|
| 97 | (u+1)*abcd+bcde+cdea+deab+eabc, |
|---|
| 98 | uabcde+1; |
|---|
| 99 | option(prot); |
|---|
| 100 | option(redSB); |
|---|
| 101 | ideal j=std(i); |
|---|
| 102 | size(j); |
|---|
| 103 | degree(j); |
|---|
| 104 | |
|---|
| 105 | |
|---|
| 106 | ring s=(32003,u),(a,b,c,d,e),lp; |
|---|
| 107 | ideal k=fglm(r,j); |
|---|
| 108 | |
|---|
| 109 | |
|---|
| 110 | kill s; |
|---|
| 111 | kill r; |
|---|
| 112 | |
|---|
| 113 | "symmetric 4(1/p/1)"; |
|---|
| 114 | ring r=(32003,u),(a,b,c,d),dp; |
|---|
| 115 | ideal i= |
|---|
| 116 | (1+u+u^2)*a4-b4, |
|---|
| 117 | b4-c4, |
|---|
| 118 | uc4-d4, |
|---|
| 119 | ua3b+b3c+c3d+d3a; |
|---|
| 120 | option(prot); |
|---|
| 121 | option(redSB); |
|---|
| 122 | ideal j=std(i); |
|---|
| 123 | size(j); |
|---|
| 124 | degree(j); |
|---|
| 125 | |
|---|
| 126 | |
|---|
| 127 | ring s=(32003,u),(a,b,c,d),lp; |
|---|
| 128 | ideal k=fglm(r,j); |
|---|
| 129 | |
|---|
| 130 | |
|---|
| 131 | kill s; |
|---|
| 132 | kill r; |
|---|
| 133 | |
|---|
| 134 | tst_status(1); |
|---|
| 135 | $ |
|---|
