Hi,

After I create the residue field of a p-adic ring, how do I cast
elements of the field back into the ring? Any lift is fine. The
obvious thing doesn't work:

sage: R.<z> = Zq(9)
sage: F = R.residue_class_field()
sage: F
Finite Field in z0 of size 3^2
sage: a = F.gen()
sage: R(a)
---------------------------------------------------------------------------
TypeError

....

Also, is it possible to change the name of the generator of the
residue field?

david

-- 
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to 
[email protected]
For more options, visit this group at 
http://groups.google.com/group/sage-support
URL: http://www.sagemath.org

Reply via email to