#4738: base_ring of orders in relative number fields is wrong
---------------------------+------------------------------------------------
Reporter: ncalexan | Owner: was
Type: defect | Status: new
Priority: major | Milestone: sage-3.2.2
Component: number theory | Keywords: base ring relative number field order
---------------------------+------------------------------------------------
I think that the last ring should be the ring of integers of the relative
number field.
{{{
sage: K = NumberField([x^2 + 2, x^2 + 3], 'a')
sage: K.base_ring()
Number Field in a1 with defining polynomial x^2 + 3
sage: K.maximal_order()
Relative Order in Number Field in a0 with defining polynomial x^2 + 2 over
its base field
sage: K.maximal_order().base_ring()
Integer Ring
}}}
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/4738>
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
-~----------~----~----~----~------~----~------~--~---
