fix base ring of orders in relative number fields

sagemath · Apr 18, 2014 · 2b45932 · 2b45932
1 parent 987d39f
commit 2b45932
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 3 deletions.
diff --git a/src/sage/rings/number_field/number_field_rel.py b/src/sage/rings/number_field/number_field_rel.py
@@ -2216,10 +2216,11 @@ def order(self, *gens, **kwds):
             sage: R = P.order([a,b,c]); R
             Relative Order in Number Field in sqrt2 with defining polynomial x^2 - 2 over its base field
 
-        The base ring of an order in a relative extension is still `\ZZ`.::
+        The base ring of an order in a relative extension is the ring of
+        integers of the base field of the extension (see trac::`4738`)::
 
             sage: R.base_ring()
-            Integer Ring
+            Maximal Relative Order in Number Field in a with defining polynomial x^3 - 2 over its base field
 
         One must give enough generators to generate a ring of finite index
         in the maximal order::

diff --git a/src/sage/rings/number_field/order.py b/src/sage/rings/number_field/order.py
@@ -180,7 +180,7 @@ def base_ring(self):
             sage: O.base_ring()
             Integer Ring
         
-        For a relative number field (showing that #4738 is fixed)::
+        For a relative number field (showing that trac::`4738` is fixed)::
 
             sage: k = NumberField([x^2+2, x^2+3], 'a')
             sage: k.base_ring()