#5276: [fixed by #5508] bug in creating polynomial ring over some rings of
integers
---------------------------+------------------------------------------------
Reporter: AlexGhitza | Owner: was
Type: defect | Status: new
Priority: major | Milestone: sage-3.4.1
Component: number theory | Keywords: ring of integers, polynomial ring
---------------------------+------------------------------------------------
Comment(by fwclarke):
Replying to [comment:2 mabshoff]:
> To close this we would need a doctest.
See lines 1194 to 1204 of sage/rings/number_field/order.py as patched by
#5508:
{{{
sage: K.<a, b> = NumberField([x^2 + 2, x^2 + 1000*x + 1])
sage: OK = K.ring_of_integers()
...
The following used to fail; see trac #5276::
sage: S.<y> = OK[]; S
Univariate Polynomial Ring in y over Relative Order in Number
Field in a with defining polynomial x^2 + 2 over its base field
}}}
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/5276#comment:4>
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
-~----------~----~----~----~------~----~------~--~---
