| 1 | LIB "tst.lib"; |
|---|
| 2 | tst_init(); option(Imap); |
|---|
| 3 | |
|---|
| 4 | ring r0 = 0, (a,b,x,y), lp; |
|---|
| 5 | |
|---|
| 6 | ring s0 = 32003, (a,b,x,y), lp; |
|---|
| 7 | |
|---|
| 8 | ring t0 = 7, (a,b,x,y), lp; |
|---|
| 9 | |
|---|
| 10 | ring f0 = (0, a) , (b, x, y), lp; minpoly = a2 + 1; |
|---|
| 11 | poly p = 1 + a + a2 + b + ab + ax + ay + bx + x + y + xy; p; |
|---|
| 12 | p; |
|---|
| 13 | |
|---|
| 14 | setring r0; |
|---|
| 15 | imap(f0, p); |
|---|
| 16 | |
|---|
| 17 | setring s0; |
|---|
| 18 | imap(f0, p); |
|---|
| 19 | |
|---|
| 20 | setring t0; |
|---|
| 21 | imap(f0, p); |
|---|
| 22 | |
|---|
| 23 | ring R = (0,U),(x1(0),x1(1),x1(2),x1(3),x1(4),x2(0),x2(1),x2(2),x2(3),x2(4),t1(1),t1(2),t1(3),t2(1),t2(2),t2(3)),(dp(16),C); minpoly = (U2+1) ; |
|---|
| 24 | |
|---|
| 25 | ideal I = |
|---|
| 26 | x1(3)-x1(4)+(-U)*x2(3)+(U)*x2(4)+(43/200*U-539/500)*t1(3)+(539/500*U+43/200)*t2(3)+(967/500*U-153/500); |
|---|
| 27 | |
|---|
| 28 | ring S=0, (x1(0),x1(1),x1(2),x1(3),x1(4),x2(0),x2(1),x2(2),x2(3),x2(4),t1(1),t1(2),t1(3),t2(1),t2(2),t2(3)),dp; |
|---|
| 29 | |
|---|
| 30 | ideal I=imap(R,I); I; setring R; I; |
|---|
| 31 | ring R2 = (0,U),(x,y),dp; minpoly = (U2+1) ; |
|---|
| 32 | |
|---|
| 33 | ideal I = |
|---|
| 34 | (-U)*x+y+(2+U)*xy; |
|---|
| 35 | |
|---|
| 36 | ring S2=0, (x,y),dp; |
|---|
| 37 | |
|---|
| 38 | ideal I=imap(R2,I); I; setring R2; I; |
|---|
| 39 | |
|---|
| 40 | tst_status(1);$ |
|---|
