I think it should be the ring of integers in the base field, and that the doctest in number_field_rel.py is documenting current behavior. David
On Thu, Apr 17, 2014 at 5:01 PM, Alex Ghitza <[email protected]> wrote: > Hi, > > The 5-year old ticket #4738 says "the base ring of an order in a > relative number field should be the ring of integers of the base field > of the relative number field". This contradicts a doctest in > number_field_rel.py which explicitly says "The base ring of an order > in a relative extension is still `\ZZ`". > > Can we pick one of these two behaviors? What do *you* expect the last > ring below to be? > > sage: K.<a, b, c> = QQ[2^(1/2), 2^(1/3), 3^(1/2)] > sage: R = K.order([a, b, c]) > sage: R > Relative Order in Number Field in sqrt2 with defining polynomial x^2 - > 2 over its base field > sage: K.base_field() > Number Field in a with defining polynomial x^3 - 2 over its base field > sage: R.base_ring() > > > -- > Best, > Alex > > -- > Alex Ghitza -- Lecturer in Mathematics -- The University of Melbourne > http://aghitza.org > > -- > 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 post to this group, send an email to [email protected]. > Visit this group at http://groups.google.com/group/sage-nt. > For more options, visit https://groups.google.com/d/optout. > -- 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 post to this group, send an email to [email protected]. Visit this group at http://groups.google.com/group/sage-nt. For more options, visit https://groups.google.com/d/optout.
