I've already created ticket #29511 for this, but to advertise this more
broadly: there seems to be an issue with the canonical embedding of one
cyclotomic field into another, where elements that come from the subfield
cannot always be coerced back.
{{{
sage: K.<z> = CyclotomicField(12)
sage: K1.<z1> = CyclotomicField(3)
sage: K(z1) in K1
True
sage: K1(K(z1))
z1
sage: K(2) in K1 ## This is the source of the trouble
False
sage: K1(K(2)) ## Error!
...
}}}
I am up for trying to fix this myself, but I probably need some help from
someone who understands coercion in Sage better than I do.
Kiran
--
You received this message because you are subscribed to the Google Groups
"sage-nt" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/sage-nt/d4708760-19b2-4a5c-a0b4-756eb592b08c%40googlegroups.com.
