[0e1846] | 1 | int i; |
---|
| 2 | int i1 = 1; |
---|
| 3 | int i2 = -100092; |
---|
| 4 | |
---|
| 5 | |
---|
| 6 | intvec iv; |
---|
| 7 | intvec iv1 = 1,2,3; |
---|
| 8 | intvec iv2 = -1,2,-3,4,-5; |
---|
| 9 | |
---|
| 10 | intmat im; |
---|
| 11 | intmat im1[2][3]=1,3,5,7,8; |
---|
| 12 | intmat im2[3][3]= -1,2,-3,4,-5; |
---|
| 13 | |
---|
| 14 | string s; |
---|
| 15 | string s1 = "Hello World"; |
---|
| 16 | |
---|
| 17 | list l; |
---|
| 18 | list l1 = i,iv,im,i1,iv1,im1; |
---|
| 19 | list l2 = l1, iv2, l, im2; |
---|
| 20 | |
---|
| 21 | |
---|
| 22 | ring r; |
---|
| 23 | |
---|
| 24 | poly p; |
---|
| 25 | number n; |
---|
| 26 | number n1 = 2; |
---|
| 27 | number n2 = -7; |
---|
| 28 | |
---|
| 29 | poly p1 = x + y; |
---|
| 30 | poly p2 = xyz - 2x3y4z5 + 3xy -4yz + 5z; |
---|
| 31 | poly p3 = p2^4; |
---|
| 32 | |
---|
| 33 | vector v; |
---|
| 34 | vector v1 = [p1, p2]; |
---|
| 35 | vector v2 = [p, p1,p2, p3] + p1*gen(5); |
---|
| 36 | |
---|
| 37 | ideal id; |
---|
| 38 | ideal id1 = p, p1, p2, p3; |
---|
| 39 | ideal id2 = p, p1+p2, p2+3, p1+p2+p3, p1, p2, p3; |
---|
| 40 | |
---|
| 41 | module mv; |
---|
| 42 | module mv1 = v, v1, v2; |
---|
| 43 | module mv2 = v1+v2, p1*v2, p2*(v1-v2), v, v1, v2; |
---|
| 44 | |
---|
| 45 | matrix m; |
---|
| 46 | matrix m1[2][3] = p, p1, p2, id1; |
---|
| 47 | matrix m2[4][4] = p, p1, p2, p3, id1, id2; |
---|
| 48 | |
---|
| 49 | |
---|
| 50 | ideal j = std(id1); |
---|
| 51 | |
---|
| 52 | qring q = j; |
---|
| 53 | poly p11 = x + y; |
---|
| 54 | poly p12 = xyz - 2x3y4z5 + 3xy -4yz + 5z; |
---|
| 55 | poly p13 = p12^4; |
---|
| 56 | |
---|
| 57 | |
---|
| 58 | |
---|
| 59 | ring rr = 32003,(a,b),dp; |
---|
| 60 | map f = r, a,b,a+b; |
---|
| 61 | map g = rr,a2,b2; |
---|
| 62 | map phi = g(f); |
---|
| 63 | |
---|
| 64 | |
---|
| 65 | ring r0 = 0, x, lp; |
---|
| 66 | number n; |
---|
| 67 | number n1 = 29734481274863241234589; |
---|
| 68 | number n2 = n1/(n1-6); |
---|
| 69 | |
---|
| 70 | poly p; |
---|
| 71 | poly p1 = n1*x + n2*x^4 + 7/3*x^2*x^5 - 6; |
---|
| 72 | poly p2 = x*x*x - 2*x^3*x^4*x^5 + 3*x*x -4*x*x + 5*x^2 + p1; |
---|
| 73 | poly p3 = p2*p2; |
---|
| 74 | |
---|
| 75 | vector v; |
---|
| 76 | vector v1 = [p1, p2]; |
---|
| 77 | vector v2 = [p, p1,p2, p3] + p1*gen(5); |
---|
| 78 | |
---|
| 79 | ideal id; |
---|
| 80 | ideal id1 = p, p1, p2, p3; |
---|
| 81 | ideal id2 = p, p1+p2, p2+3, p1+p2+p3, p1, p2, p3; |
---|
| 82 | |
---|
| 83 | module mv; |
---|
| 84 | module mv1 = v, v1, v2; |
---|
| 85 | module mv2 = v1+v2, p1*v2, p2*(v1-v2), v, v1, v2; |
---|
| 86 | |
---|
| 87 | matrix m; |
---|
| 88 | matrix m1[2][3] = p, p1, p2, id1; |
---|
| 89 | matrix m2[4][4] = p, p1, p2, p3, id1, id2; |
---|
| 90 | |
---|
| 91 | |
---|
| 92 | ring r1 = 0, x(1..10), ls; |
---|
| 93 | |
---|
| 94 | number n; |
---|
| 95 | number n1 = 29734481274863241234589; |
---|
| 96 | number n2 = n1/(n1-6); |
---|
| 97 | |
---|
| 98 | poly p; |
---|
| 99 | poly p1 = n1*x(1) + n2*x(5)^4 + 7/3*x(3)^2*x(4)^5 - 6; |
---|
| 100 | poly p2 = x(2)*x(5)*x(6) - 2*x(7)^3*x(8)^4*x(9)^5 + 3*x(1)*x(5) -4*x(5)*x(9) + |
---|
| 101 | 5*x(9)^2 + p1; |
---|
| 102 | poly p3 = p2*p2; |
---|
| 103 | |
---|
| 104 | vector v; |
---|
| 105 | vector v1 = [p1, p2]; |
---|
| 106 | vector v2 = [p, p1,p2, p3] + p1*gen(5); |
---|
| 107 | |
---|
| 108 | ideal id; |
---|
| 109 | ideal id1 = p, p1, p2, p3; |
---|
| 110 | ideal id2 = p, p1+p2, p2+3, p1+p2+p3, p1, p2, p3; |
---|
| 111 | |
---|
| 112 | module mv; |
---|
| 113 | module mv1 = v, v1, v2; |
---|
| 114 | module mv2 = v1+v2, p1*v2, p2*(v1-v2), v, v1, v2; |
---|
| 115 | |
---|
| 116 | matrix m; |
---|
| 117 | matrix m1[2][3] = p, p1, p2, id1; |
---|
| 118 | matrix m2[4][4] = p, p1, p2, p3, id1, id2; |
---|
| 119 | |
---|
| 120 | ring r2=10,(x(1..6)),(lp(2),dp(4)); |
---|
| 121 | number n; |
---|
| 122 | number n1 = 29734481274863241234589; |
---|
| 123 | number n2 = n1/(n1-6); |
---|
| 124 | |
---|
| 125 | poly p; |
---|
| 126 | poly p1 = n1*x(1) + n2*x(5)^4 + 7/3*x(3)^2*x(4)^5 - 6; |
---|
| 127 | poly p2 = x(2)*x(5)*x(6) - 2*x(1)^3*x(2)^4*x(3)^5 + 3*x(1)*x(5) -4*x(5)*x(3) + |
---|
| 128 | 5*x(3)^2 + p1; |
---|
| 129 | poly p3 = p2*p2; |
---|
| 130 | |
---|
| 131 | vector v; |
---|
| 132 | vector v1 = [p1, p2]; |
---|
| 133 | vector v2 = [p, p1,p2, p3] + p1*gen(5); |
---|
| 134 | |
---|
| 135 | ideal id; |
---|
| 136 | ideal id1 = p, p1, p2, p3; |
---|
| 137 | ideal id2 = p, p1+p2, p2+3, p1+p2+p3, p1, p2, p3; |
---|
| 138 | |
---|
| 139 | module mv; |
---|
| 140 | module mv1 = v, v1, v2; |
---|
| 141 | module mv2 = v1+v2, p1*v2, p2*(v1-v2), v, v1, v2; |
---|
| 142 | |
---|
| 143 | matrix m; |
---|
| 144 | matrix m1[2][3] = p, p1, p2, id1; |
---|
| 145 | matrix m2[4][4] = p, p1, p2, p3, id1, id2; |
---|
| 146 | |
---|
| 147 | ring r3=(7,a, b, c),(x,y,z),dp; |
---|
| 148 | number n; |
---|
| 149 | number n1 = 2*a^2*b*c -3*b*c + -1*a + 4; |
---|
| 150 | number n2 = n1 / (n1 - 5c)^2; |
---|
| 151 | |
---|
| 152 | poly p; |
---|
| 153 | poly p1 = x + y + a; |
---|
| 154 | poly p2 = 3*a^2*xyz*n1 - 2*n2*x3y4z5 + 3xy -4yz + n1*z; |
---|
| 155 | poly p3 = p2*p1; |
---|
| 156 | |
---|
| 157 | vector v; |
---|
| 158 | vector v1 = [p1, p2]; |
---|
| 159 | vector v2 = [p, p1,p2, p3] + p1*gen(5); |
---|
| 160 | |
---|
| 161 | ideal id; |
---|
| 162 | ideal id1 = p, p1, p2, p3; |
---|
| 163 | ideal id2 = p, p1+p2, p2+3, p1+p2+p3, p1, p2, p3; |
---|
| 164 | |
---|
| 165 | module mv; |
---|
| 166 | module mv1 = v, v1, v2; |
---|
| 167 | module mv2 = v1+v2, p1*v2, p2*(v1-v2), v, v1, v2; |
---|
| 168 | |
---|
| 169 | matrix m; |
---|
| 170 | matrix m1[2][3] = p, p1, p2, id1; |
---|
| 171 | matrix m2[4][4] = p, p1, p2, p3, id1, id2; |
---|
| 172 | |
---|
| 173 | ring r4=(7,a),(x,y,z),dp; |
---|
| 174 | minpoly=a^2+a+3; |
---|
| 175 | poly p; |
---|
| 176 | number n; |
---|
| 177 | number n1 = 2*a^2 + 3; |
---|
| 178 | number n2 = n1 / (n1 -5)^3; |
---|
| 179 | |
---|
| 180 | poly p1 = x + y + a; |
---|
| 181 | poly p2 = 3*a^2*xyz*n1 - 2*n2*x3y4z5 + 3xy -4yz + n1*z; |
---|
| 182 | poly p3 = p2^4; |
---|
| 183 | |
---|
| 184 | vector v; |
---|
| 185 | vector v1 = [p1, p2]; |
---|
| 186 | vector v2 = [p, p1,p2, p3] + p1*gen(5); |
---|
| 187 | |
---|
| 188 | ideal id; |
---|
| 189 | ideal id1 = p, p1, p2, p3; |
---|
| 190 | ideal id2 = p, p1+p2, p2+3, p1+p2+p3, p1, p2, p3; |
---|
| 191 | |
---|
| 192 | module mv; |
---|
| 193 | module mv1 = v, v1, v2; |
---|
| 194 | module mv2 = v1+v2, p1*v2, p2*(v1-v2), v, v1, v2; |
---|
| 195 | |
---|
| 196 | matrix m; |
---|
| 197 | matrix m1[2][3] = p, p1, p2, id1; |
---|
| 198 | matrix m2[4][4] = p, p1, p2, p3, id1, id2; |
---|
| 199 | |
---|
| 200 | ring r5=(49,a),(x,y,z),dp; |
---|
| 201 | poly p; |
---|
| 202 | number n; |
---|
| 203 | number n1 = 2*a^2 + 3; |
---|
| 204 | number n2 = n1 / (n1 -5)^3; |
---|
| 205 | |
---|
| 206 | poly p1 = x + y + a; |
---|
| 207 | poly p2 = 3*a^2*xyz*n1 - 2*n2*x3y4z5 + 3xy -4yz + n1*z; |
---|
| 208 | poly p3 = p2^4; |
---|
| 209 | |
---|
| 210 | vector v; |
---|
| 211 | vector v1 = [p1, p2]; |
---|
| 212 | vector v2 = [p, p1,p2, p3] + p1*gen(5); |
---|
| 213 | |
---|
| 214 | ideal id; |
---|
| 215 | ideal id1 = p, p1, p2, p3; |
---|
| 216 | ideal id2 = p, p1+p2, p2+3, p1+p2+p3, p1, p2, p3; |
---|
| 217 | |
---|
| 218 | module mv; |
---|
| 219 | module mv1 = v, v1, v2; |
---|
| 220 | module mv2 = v1+v2, p1*v2, p2*(v1-v2), v, v1, v2; |
---|
| 221 | |
---|
| 222 | matrix m; |
---|
| 223 | matrix m1[2][3] = p, p1, p2, id1; |
---|
| 224 | matrix m2[4][4] = p, p1, p2, p3, id1, id2; |
---|
| 225 | |
---|
| 226 | // Test different variable orderings |
---|
| 227 | |
---|
| 228 | ring r6 = 32003, (x,y,z), wp(1,2,3); |
---|
| 229 | poly p = (xyz - 2x3y4z5 + 3xy -4yz + 5z + 2)^2; |
---|
| 230 | |
---|
| 231 | ring r7 = 32003, (x,y,z), Ws(1,2,3); |
---|
| 232 | poly p = (xyz - 2x3y4z5 + 3xy -4yz + 5z + 2)^2; |
---|
| 233 | |
---|
| 234 | ring r8 = 32003, (a,b,c,x,y,z), (dp(3), wp(1,2,3)); |
---|
| 235 | poly p = (xyzabc - 2x3y4z5a2b4c3 + 3xya2 -4yzb3c2 + 5zc + 2)^2; |
---|
| 236 | |
---|
| 237 | ring r9 = 32003, (a,b,c,x,y,z), (a(1,2,3,4,5),Dp(3), ds(3)); |
---|
| 238 | poly p = (xyzabc - 2x3y4z5a2b4c3 + 3xya2 -4yzb3c2 + 5zc + 2)^2; |
---|
| 239 | |
---|
| 240 | ring r10 = 32003, (x,y,z), M(1, 0, 0, 0, 1, 0, 0, 0, 1); |
---|
| 241 | poly p = (xyz - 2x3y4z5 + 3xy -4yz + 5z + 2)^2; |
---|
| 242 | |
---|
| 243 | ring r11 = 0, x(1..10), (lp(2), M(1, 2, 3, 1, 1, 1, 1, 0, 0), ds(2), ws(1,2,3)); |
---|
| 244 | poly p1 = x(1) + 123399456085/(123399456085 + 1)*x(5)^4 + 7/3*x(3)^2*x(4)^5 - 6; |
---|
| 245 | poly p2 = x(2)*x(5)*x(6) - 2*x(7)^3*x(8)^4*x(9)^5 + 3*x(1)*x(5) -4*x(5)*x(9) + |
---|
| 246 | 5*x(9)^2 + p1; |
---|
| 247 | |
---|
| 248 | ring r12 = 0, (x,y,z), (C,lp); |
---|
| 249 | vector v1 = [x+y2,z3+xy]; |
---|
| 250 | vector v2 = [x,x,x]; |
---|
| 251 | |
---|
| 252 | ring r13 = 0, (x,y,z), (lp,c); |
---|
| 253 | vector v1 = [x+y2,z3+xy]; |
---|
| 254 | vector v2 = [x,x,x]; |
---|
| 255 | |
---|
| 256 | ring r14 = 0, (x,y,z), (c,lp); |
---|
| 257 | vector v1 = [x+y2,z3+xy]; |
---|
| 258 | vector v2 = [x,x,x]; |
---|
| 259 | |
---|
| 260 | |
---|