#4276: [with patch, needs review] move number fields to new coercion, implement
embeddings
----------------------+-----------------------------------------------------
Reporter: robertwb | Owner: robertwb
Type: defect | Status: new
Priority: major | Milestone: sage-3.2.1
Component: coercion | Resolution:
Keywords: |
----------------------+-----------------------------------------------------
Comment (by davidloeffler):
Thanks for clarifying things there. Your new docstrings assert that
cyclotomic fields all have their usual embeddings so coercion between them
should work, but I'm slightly concerned by the following non-associativity
of addition:
{{{
sage: K5.<zeta5> = CyclotomicField(5)
sage: K7.<zeta7> = CyclotomicField(7)
sage: K35.<zeta35> = CyclotomicField(35)
sage: (-zeta35 + zeta7) + (zeta5 + zeta35)
zeta35^7 + zeta35^5
sage: -zeta35 + (zeta7 + zeta5) + zeta35
TypeError: unsupported operand parent(s) for '+': 'Cyclotomic Field of
order 5 and degree 4' and 'Cyclotomic Field of order 7 and degree 6'
}}}
This problem is not in any way new, and existed before your patches; but
shouldn't your patches fix it?
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/4276#comment:7>
Sage <http://sagemath.org/>
Sage - Open Source Mathematical Software: Building the Car Instead of
Reinventing the Wheel
--~--~---------~--~----~------------~-------~--~----~
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
-~----------~----~----~----~------~----~------~--~---
