#13765: Cyclotomic embeddings should respect coercions.
-----------------------------+----------------------------------------------
Reporter: robertwb | Owner: davidloeffler
Type: PLEASE CHANGE | Status: new
Priority: critical | Milestone: sage-5.6
Component: number fields | Keywords:
Work issues: | Report Upstream: N/A
Reviewers: | Authors:
Merged in: | Dependencies:
Stopgaps: |
-----------------------------+----------------------------------------------
{{{
sage: zC=(CC(-1)^(1/3))^2
sage: Ka.<aa>=CyclotomicField(3,embedding=zC)
sage: Kb.<bb>=CyclotomicField(3,embedding=zC^2)
sage: Kc.<cc>=CyclotomicField(3,embedding=CC(17))
sage: CC(aa)
-0.500000000000000 + 0.866025403784439*I
sage: CC(bb)
-0.500000000000000 - 0.866025403784439*I
sage: CC(Ka(bb))
-0.500000000000000 + 0.866025403784439*I
}}}
It's better to disallow coercions between these then allow this nonsense
{{{
sage: CC(aa+bb)
-1.00000000000000 + 1.73205080756888*I
sage: CC(bb+aa)
-1.00000000000000 - 1.73205080756888*I
}}}
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/13765>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
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-trac?hl=en.
