The ring map suggested does not work. Here is the suggested code:
Code:
LIB "finvar.lib";
LIB "linalg.lib";
ring R = (0,a), (x,y), dp;
minpoly = a2-3;
matrix A[2][2] = -1/2,-a/2, a/2,-1/2;
matrix B[2][2] = 1,0, 0,-1;
list L = group_reynolds(A,B);
print(size(L));
ring S = 0, t, dp;
map phi = R, 0;
for (int i=2; i<=7; i=i+1) {
print(charpoly(phi(L)[i], "t"); // L not accessible here
}
And here is the error:
Code:
? can not map from ground field of R to current ground field
? error occurred in try1.sing line 19: ` print(charpoly(phi(L)[i], "t");
The suggestion about using a trancendental extension for working with rational functions was just what I wanted - Thanks!
Any ideas about the problem with the ring map above?