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.
