Magma Isogeny Polynomials Coercion

53 Views Asked by At

This is bordering the wrong stack exchange but I have the following problem:

I have the code;

R<X>:=PolynomialRing(GF(43)); 
F<i> := ext<GF(43)|X^2+1>;
E:=EllipticCurve([F|1,0]);
f:=TwoIsogeny(E![0,0]);
phi:=IsogenyMapPhi(f);
omega:=IsogenyMapOmega(f);

Now phi outputs as

$.1^2+ i*$.1

which has Type RngUPolElt[FldFin] and omega outputs as

$.1^2*$.2 + 41*i*$.1*$.2 + $.2

which has Type RngMPolElt

Now, what exactly is going on with magma and $.1 and $.2? I'd like to coerce these two expression in the same multivariate polynomial ring, so that I can perform operations on them and plug them into other functions. In particular, I need phi to be of the type RngMPolElt.