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);$ |
---|