| 1 | LIB"tst.lib"; |
|---|
| 2 | tst_init(); |
|---|
| 3 | |
|---|
| 4 | ring integer = (integer), (a, b, c), dp; |
|---|
| 5 | ideal I = 975020030*a^5*b,130350797*b*c^9,209617295*a^5*b^3, a3+b4-c3; |
|---|
| 6 | poly f = 975020030*a^5*b + 130350797*b*c^9 - 209617295*a^5; |
|---|
| 7 | number n = 34234324; |
|---|
| 8 | print("Z"); |
|---|
| 9 | print(I); |
|---|
| 10 | print(f); |
|---|
| 11 | print(n); |
|---|
| 12 | ring q = 0, (a, b, c), dp; |
|---|
| 13 | ideal I = 975020030*a^5*b,130350797*b*c^9,209617295*a^5*b^3, a3+b4-c3; |
|---|
| 14 | poly f = 975020030*a^5*b + 130350797*b*c^9 - 209617295*a^5; |
|---|
| 15 | number n = 34234324; |
|---|
| 16 | print("Q"); |
|---|
| 17 | print(I); |
|---|
| 18 | print(f); |
|---|
| 19 | print(n); |
|---|
| 20 | ring zn60 = (integer, 60), (a, b, c), dp; |
|---|
| 21 | ideal I = 34a+12bc+22c, 23a2b4c+c; |
|---|
| 22 | poly f = 2a2bc+bca+acb+acb; |
|---|
| 23 | number n = 21; |
|---|
| 24 | print("Z/60"); |
|---|
| 25 | print(I); |
|---|
| 26 | print(f); |
|---|
| 27 | print(n); |
|---|
| 28 | ring zn30 = (integer, 30), (a, b, c), dp; |
|---|
| 29 | ideal I = 34a+12bc+22c, 23a2b4c+c; |
|---|
| 30 | poly f = 2a2bc+bca+acb+acb; |
|---|
| 31 | number n = 21; |
|---|
| 32 | print("Z/30"); |
|---|
| 33 | print(I); |
|---|
| 34 | print(f); |
|---|
| 35 | print(n); |
|---|
| 36 | ring zn15 = (integer, 15), (a, b, c), dp; |
|---|
| 37 | ideal I = 34a+12bc+22c, 23a2b4c+c; |
|---|
| 38 | poly f = 2a2bc+bca+acb+acb; |
|---|
| 39 | number n = 21; |
|---|
| 40 | print("Z/15"); |
|---|
| 41 | print(I); |
|---|
| 42 | print(f); |
|---|
| 43 | print(n); |
|---|
| 44 | ring z3to3 = (integer, 3, 3), (a, b, c), dp; |
|---|
| 45 | ideal I = 34a+12bc+22c, 23a2b4c+c; |
|---|
| 46 | poly f = 2a2bc+bca+acb+acb; |
|---|
| 47 | number n = 21; |
|---|
| 48 | print("Z/3^3"); |
|---|
| 49 | print(I); |
|---|
| 50 | print(f); |
|---|
| 51 | print(n); |
|---|
| 52 | ring z2to12 = (integer, 2, 12), (a, b, c), dp; |
|---|
| 53 | ideal I = 34a+12bc+22c, 23a2b4c+c; |
|---|
| 54 | poly f = 2a2bc+bca+acb+acb; |
|---|
| 55 | number n = 21; |
|---|
| 56 | print("Z/2^12"); |
|---|
| 57 | print(I); |
|---|
| 58 | print(f); |
|---|
| 59 | print(n); |
|---|
| 60 | ring z2to2 = (integer, 2, 2), (a, b, c), dp; |
|---|
| 61 | ideal I = 34a+12bc+22c, 23a2b4c+c; |
|---|
| 62 | poly f = 2a2bc+bca+acb+acb; |
|---|
| 63 | number n = 21; |
|---|
| 64 | print("Z/2^2"); |
|---|
| 65 | print(I); |
|---|
| 66 | print(f); |
|---|
| 67 | print(n); |
|---|
| 68 | ring z2to80 = (integer, 2, 80), (a, b, c), dp; |
|---|
| 69 | ideal I = 34a+12bc+22c, 23a2b4c+c; |
|---|
| 70 | poly f = 2a2bc+bca+acb+acb; |
|---|
| 71 | number n = 21; |
|---|
| 72 | print("Z/2^80"); |
|---|
| 73 | print(I); |
|---|
| 74 | print(f); |
|---|
| 75 | print(n); |
|---|
| 76 | |
|---|
| 77 | string dst; |
|---|
| 78 | dst = "Z/2^80"; |
|---|
| 79 | setring(z2to80); |
|---|
| 80 | print("Z to " + dst); |
|---|
| 81 | print(imap(integer, I)); |
|---|
| 82 | print(imap(integer, f)); |
|---|
| 83 | print(imap(integer, n)); |
|---|
| 84 | print("Q to " + dst); |
|---|
| 85 | print(imap(q, I)); |
|---|
| 86 | print(imap(q, f)); |
|---|
| 87 | print(imap(q, n)); |
|---|
| 88 | print("Z/60 to " + dst); |
|---|
| 89 | print(imap(zn60, I)); |
|---|
| 90 | print(imap(zn60, f)); |
|---|
| 91 | print(imap(zn60, n)); |
|---|
| 92 | print("Z/30 to " + dst); |
|---|
| 93 | print(imap(zn30, I)); |
|---|
| 94 | print(imap(zn30, f)); |
|---|
| 95 | print(imap(zn30, n)); |
|---|
| 96 | print("Z/15 to " + dst); |
|---|
| 97 | print(imap(zn15, I)); |
|---|
| 98 | print(imap(zn15, f)); |
|---|
| 99 | print(imap(zn15, n)); |
|---|
| 100 | print("Z/3^3 to " + dst); |
|---|
| 101 | print(imap(z3to3, I)); |
|---|
| 102 | print(imap(z3to3, f)); |
|---|
| 103 | print(imap(z3to3, n)); |
|---|
| 104 | print("Z/2^12 to " + dst); |
|---|
| 105 | print(imap(z2to12, I)); |
|---|
| 106 | print(imap(z2to12, f)); |
|---|
| 107 | print(imap(z2to12, n)); |
|---|
| 108 | print("Z/2^2 to " + dst); |
|---|
| 109 | print(imap(z2to2, I)); |
|---|
| 110 | print(imap(z2to2, f)); |
|---|
| 111 | print(imap(z2to2, n)); |
|---|
| 112 | print("Z/2^80 to " + dst); |
|---|
| 113 | print(imap(z2to80, I)); |
|---|
| 114 | print(imap(z2to80, f)); |
|---|
| 115 | print(imap(z2to80, n)); |
|---|
| 116 | dst = "Z/2^2"; |
|---|
| 117 | setring(z2to2); |
|---|
| 118 | print("Z to " + dst); |
|---|
| 119 | print(imap(integer, I)); |
|---|
| 120 | print(imap(integer, f)); |
|---|
| 121 | print(imap(integer, n)); |
|---|
| 122 | print("Q to " + dst); |
|---|
| 123 | print(imap(q, I)); |
|---|
| 124 | print(imap(q, f)); |
|---|
| 125 | print(imap(q, n)); |
|---|
| 126 | print("Z/60 to " + dst); |
|---|
| 127 | print(imap(zn60, I)); |
|---|
| 128 | print(imap(zn60, f)); |
|---|
| 129 | print(imap(zn60, n)); |
|---|
| 130 | print("Z/30 to " + dst); |
|---|
| 131 | print(imap(zn30, I)); |
|---|
| 132 | print(imap(zn30, f)); |
|---|
| 133 | print(imap(zn30, n)); |
|---|
| 134 | print("Z/15 to " + dst); |
|---|
| 135 | print(imap(zn15, I)); |
|---|
| 136 | print(imap(zn15, f)); |
|---|
| 137 | print(imap(zn15, n)); |
|---|
| 138 | print("Z/3^3 to " + dst); |
|---|
| 139 | print(imap(z3to3, I)); |
|---|
| 140 | print(imap(z3to3, f)); |
|---|
| 141 | print(imap(z3to3, n)); |
|---|
| 142 | print("Z/2^12 to " + dst); |
|---|
| 143 | print(imap(z2to12, I)); |
|---|
| 144 | print(imap(z2to12, f)); |
|---|
| 145 | print(imap(z2to12, n)); |
|---|
| 146 | print("Z/2^2 to " + dst); |
|---|
| 147 | print(imap(z2to2, I)); |
|---|
| 148 | print(imap(z2to2, f)); |
|---|
| 149 | print(imap(z2to2, n)); |
|---|
| 150 | print("Z/2^80 to " + dst); |
|---|
| 151 | print(imap(z2to80, I)); |
|---|
| 152 | print(imap(z2to80, f)); |
|---|
| 153 | print(imap(z2to80, n)); |
|---|
| 154 | dst = "Z/2^12"; |
|---|
| 155 | setring(z2to12); |
|---|
| 156 | print("Z to " + dst); |
|---|
| 157 | print(imap(integer, I)); |
|---|
| 158 | print(imap(integer, f)); |
|---|
| 159 | print(imap(integer, n)); |
|---|
| 160 | print("Q to " + dst); |
|---|
| 161 | print(imap(q, I)); |
|---|
| 162 | print(imap(q, f)); |
|---|
| 163 | print(imap(q, n)); |
|---|
| 164 | print("Z/60 to " + dst); |
|---|
| 165 | print(imap(zn60, I)); |
|---|
| 166 | print(imap(zn60, f)); |
|---|
| 167 | print(imap(zn60, n)); |
|---|
| 168 | print("Z/30 to " + dst); |
|---|
| 169 | print(imap(zn30, I)); |
|---|
| 170 | print(imap(zn30, f)); |
|---|
| 171 | print(imap(zn30, n)); |
|---|
| 172 | print("Z/15 to " + dst); |
|---|
| 173 | print(imap(zn15, I)); |
|---|
| 174 | print(imap(zn15, f)); |
|---|
| 175 | print(imap(zn15, n)); |
|---|
| 176 | print("Z/3^3 to " + dst); |
|---|
| 177 | print(imap(z3to3, I)); |
|---|
| 178 | print(imap(z3to3, f)); |
|---|
| 179 | print(imap(z3to3, n)); |
|---|
| 180 | print("Z/2^12 to " + dst); |
|---|
| 181 | print(imap(z2to12, I)); |
|---|
| 182 | print(imap(z2to12, f)); |
|---|
| 183 | print(imap(z2to12, n)); |
|---|
| 184 | print("Z/2^2 to " + dst); |
|---|
| 185 | print(imap(z2to2, I)); |
|---|
| 186 | print(imap(z2to2, f)); |
|---|
| 187 | print(imap(z2to2, n)); |
|---|
| 188 | print("Z/2^80 to " + dst); |
|---|
| 189 | print(imap(z2to80, I)); |
|---|
| 190 | print(imap(z2to80, f)); |
|---|
| 191 | print(imap(z2to80, n)); |
|---|
| 192 | dst = "Z/15"; |
|---|
| 193 | setring(zn15); |
|---|
| 194 | print("Z to " + dst); |
|---|
| 195 | print(imap(integer, I)); |
|---|
| 196 | print(imap(integer, f)); |
|---|
| 197 | print(imap(integer, n)); |
|---|
| 198 | print("Q to " + dst); |
|---|
| 199 | print(imap(q, I)); |
|---|
| 200 | print(imap(q, f)); |
|---|
| 201 | print(imap(q, n)); |
|---|
| 202 | print("Z/60 to " + dst); |
|---|
| 203 | print(imap(zn60, I)); |
|---|
| 204 | print(imap(zn60, f)); |
|---|
| 205 | print(imap(zn60, n)); |
|---|
| 206 | print("Z/30 to " + dst); |
|---|
| 207 | print(imap(zn30, I)); |
|---|
| 208 | print(imap(zn30, f)); |
|---|
| 209 | print(imap(zn30, n)); |
|---|
| 210 | print("Z/15 to " + dst); |
|---|
| 211 | print(imap(zn15, I)); |
|---|
| 212 | print(imap(zn15, f)); |
|---|
| 213 | print(imap(zn15, n)); |
|---|
| 214 | print("Z/3^3 to " + dst); |
|---|
| 215 | print(imap(z3to3, I)); |
|---|
| 216 | print(imap(z3to3, f)); |
|---|
| 217 | print(imap(z3to3, n)); |
|---|
| 218 | print("Z/2^12 to " + dst); |
|---|
| 219 | print(imap(z2to12, I)); |
|---|
| 220 | print(imap(z2to12, f)); |
|---|
| 221 | print(imap(z2to12, n)); |
|---|
| 222 | print("Z/2^2 to " + dst); |
|---|
| 223 | print(imap(z2to2, I)); |
|---|
| 224 | print(imap(z2to2, f)); |
|---|
| 225 | print(imap(z2to2, n)); |
|---|
| 226 | print("Z/2^80 to " + dst); |
|---|
| 227 | print(imap(z2to80, I)); |
|---|
| 228 | print(imap(z2to80, f)); |
|---|
| 229 | print(imap(z2to80, n)); |
|---|
| 230 | dst = "Z/30"; |
|---|
| 231 | setring(zn30); |
|---|
| 232 | print("Z to " + dst); |
|---|
| 233 | print(imap(integer, I)); |
|---|
| 234 | print(imap(integer, f)); |
|---|
| 235 | print(imap(integer, n)); |
|---|
| 236 | print("Q to " + dst); |
|---|
| 237 | print(imap(q, I)); |
|---|
| 238 | print(imap(q, f)); |
|---|
| 239 | print(imap(q, n)); |
|---|
| 240 | print("Z/60 to " + dst); |
|---|
| 241 | print(imap(zn60, I)); |
|---|
| 242 | print(imap(zn60, f)); |
|---|
| 243 | print(imap(zn60, n)); |
|---|
| 244 | print("Z/30 to " + dst); |
|---|
| 245 | print(imap(zn30, I)); |
|---|
| 246 | print(imap(zn30, f)); |
|---|
| 247 | print(imap(zn30, n)); |
|---|
| 248 | print("Z/15 to " + dst); |
|---|
| 249 | print(imap(zn15, I)); |
|---|
| 250 | print(imap(zn15, f)); |
|---|
| 251 | print(imap(zn15, n)); |
|---|
| 252 | print("Z/3^3 to " + dst); |
|---|
| 253 | print(imap(z3to3, I)); |
|---|
| 254 | print(imap(z3to3, f)); |
|---|
| 255 | print(imap(z3to3, n)); |
|---|
| 256 | print("Z/2^12 to " + dst); |
|---|
| 257 | print(imap(z2to12, I)); |
|---|
| 258 | print(imap(z2to12, f)); |
|---|
| 259 | print(imap(z2to12, n)); |
|---|
| 260 | print("Z/2^2 to " + dst); |
|---|
| 261 | print(imap(z2to2, I)); |
|---|
| 262 | print(imap(z2to2, f)); |
|---|
| 263 | print(imap(z2to2, n)); |
|---|
| 264 | print("Z/2^80 to " + dst); |
|---|
| 265 | print(imap(z2to80, I)); |
|---|
| 266 | print(imap(z2to80, f)); |
|---|
| 267 | print(imap(z2to80, n)); |
|---|
| 268 | dst = "Z/60"; |
|---|
| 269 | setring(zn60); |
|---|
| 270 | print("Z to " + dst); |
|---|
| 271 | print(imap(integer, I)); |
|---|
| 272 | print(imap(integer, f)); |
|---|
| 273 | print(imap(integer, n)); |
|---|
| 274 | print("Q to " + dst); |
|---|
| 275 | print(imap(q, I)); |
|---|
| 276 | print(imap(q, f)); |
|---|
| 277 | print(imap(q, n)); |
|---|
| 278 | print("Z/60 to " + dst); |
|---|
| 279 | print(imap(zn60, I)); |
|---|
| 280 | print(imap(zn60, f)); |
|---|
| 281 | print(imap(zn60, n)); |
|---|
| 282 | print("Z/30 to " + dst); |
|---|
| 283 | print(imap(zn30, I)); |
|---|
| 284 | print(imap(zn30, f)); |
|---|
| 285 | print(imap(zn30, n)); |
|---|
| 286 | print("Z/15 to " + dst); |
|---|
| 287 | print(imap(zn15, I)); |
|---|
| 288 | print(imap(zn15, f)); |
|---|
| 289 | print(imap(zn15, n)); |
|---|
| 290 | print("Z/3^3 to " + dst); |
|---|
| 291 | print(imap(z3to3, I)); |
|---|
| 292 | print(imap(z3to3, f)); |
|---|
| 293 | print(imap(z3to3, n)); |
|---|
| 294 | print("Z/2^12 to " + dst); |
|---|
| 295 | print(imap(z2to12, I)); |
|---|
| 296 | print(imap(z2to12, f)); |
|---|
| 297 | print(imap(z2to12, n)); |
|---|
| 298 | print("Z/2^2 to " + dst); |
|---|
| 299 | print(imap(z2to2, I)); |
|---|
| 300 | print(imap(z2to2, f)); |
|---|
| 301 | print(imap(z2to2, n)); |
|---|
| 302 | print("Z/2^80 to " + dst); |
|---|
| 303 | print(imap(z2to80, I)); |
|---|
| 304 | print(imap(z2to80, f)); |
|---|
| 305 | print(imap(z2to80, n)); |
|---|
| 306 | dst = "Q"; |
|---|
| 307 | setring(q); |
|---|
| 308 | print("Z to " + dst); |
|---|
| 309 | print(imap(integer, I)); |
|---|
| 310 | print(imap(integer, f)); |
|---|
| 311 | print(imap(integer, n)); |
|---|
| 312 | print("Q to " + dst); |
|---|
| 313 | print(imap(q, I)); |
|---|
| 314 | print(imap(q, f)); |
|---|
| 315 | print(imap(q, n)); |
|---|
| 316 | print("Z/60 to " + dst); |
|---|
| 317 | print(imap(zn60, I)); |
|---|
| 318 | print(imap(zn60, f)); |
|---|
| 319 | print(imap(zn60, n)); |
|---|
| 320 | print("Z/30 to " + dst); |
|---|
| 321 | print(imap(zn30, I)); |
|---|
| 322 | print(imap(zn30, f)); |
|---|
| 323 | print(imap(zn30, n)); |
|---|
| 324 | print("Z/15 to " + dst); |
|---|
| 325 | print(imap(zn15, I)); |
|---|
| 326 | print(imap(zn15, f)); |
|---|
| 327 | print(imap(zn15, n)); |
|---|
| 328 | print("Z/3^3 to " + dst); |
|---|
| 329 | print(imap(z3to3, I)); |
|---|
| 330 | print(imap(z3to3, f)); |
|---|
| 331 | print(imap(z3to3, n)); |
|---|
| 332 | print("Z/2^12 to " + dst); |
|---|
| 333 | print(imap(z2to12, I)); |
|---|
| 334 | print(imap(z2to12, f)); |
|---|
| 335 | print(imap(z2to12, n)); |
|---|
| 336 | print("Z/2^2 to " + dst); |
|---|
| 337 | print(imap(z2to2, I)); |
|---|
| 338 | print(imap(z2to2, f)); |
|---|
| 339 | print(imap(z2to2, n)); |
|---|
| 340 | print("Z/2^80 to " + dst); |
|---|
| 341 | print(imap(z2to80, I)); |
|---|
| 342 | print(imap(z2to80, f)); |
|---|
| 343 | print(imap(z2to80, n)); |
|---|
| 344 | dst = "Z"; |
|---|
| 345 | setring(integer); |
|---|
| 346 | print("Z to " + dst); |
|---|
| 347 | print(imap(integer, I)); |
|---|
| 348 | print(imap(integer, f)); |
|---|
| 349 | print(imap(integer, n)); |
|---|
| 350 | print("Q to " + dst); |
|---|
| 351 | print(imap(q, I)); |
|---|
| 352 | print(imap(q, f)); |
|---|
| 353 | print(imap(q, n)); |
|---|
| 354 | print("Z/60 to " + dst); |
|---|
| 355 | print(imap(zn60, I)); |
|---|
| 356 | print(imap(zn60, f)); |
|---|
| 357 | print(imap(zn60, n)); |
|---|
| 358 | print("Z/30 to " + dst); |
|---|
| 359 | print(imap(zn30, I)); |
|---|
| 360 | print(imap(zn30, f)); |
|---|
| 361 | print(imap(zn30, n)); |
|---|
| 362 | print("Z/15 to " + dst); |
|---|
| 363 | print(imap(zn15, I)); |
|---|
| 364 | print(imap(zn15, f)); |
|---|
| 365 | print(imap(zn15, n)); |
|---|
| 366 | print("Z/3^3 to " + dst); |
|---|
| 367 | print(imap(z3to3, I)); |
|---|
| 368 | print(imap(z3to3, f)); |
|---|
| 369 | print(imap(z3to3, n)); |
|---|
| 370 | print("Z/2^12 to " + dst); |
|---|
| 371 | print(imap(z2to12, I)); |
|---|
| 372 | print(imap(z2to12, f)); |
|---|
| 373 | print(imap(z2to12, n)); |
|---|
| 374 | print("Z/2^2 to " + dst); |
|---|
| 375 | print(imap(z2to2, I)); |
|---|
| 376 | print(imap(z2to2, f)); |
|---|
| 377 | print(imap(z2to2, n)); |
|---|
| 378 | print("Z/2^80 to " + dst); |
|---|
| 379 | print(imap(z2to80, I)); |
|---|
| 380 | print(imap(z2to80, f)); |
|---|
| 381 | print(imap(z2to80, n)); |
|---|
| 382 | |
|---|
| 383 | tst_status(1);$ |
|---|
