fixing some doctests about category of ZZ

fchapoton · fchapoton · commit 8469f2c1a6ec · 2024-02-05T15:29:55.000+01:00
diff --git a/src/doc/en/tutorial/tour_coercion.rst b/src/doc/en/tutorial/tour_coercion.rst
@@ -116,7 +116,8 @@ implemented in Sage as well:
     sage: Rings()
     Category of rings
     sage: ZZ.category()
-    Join of Category of euclidean domains
+    Join of Category of Dedekind domains
+        and Category of euclidean domains
         and Category of infinite enumerated sets
         and Category of metric spaces
     sage: ZZ.category().is_subcategory(Rings())
diff --git a/src/doc/fr/tutorial/tour_coercion.rst b/src/doc/fr/tutorial/tour_coercion.rst
@@ -117,7 +117,8 @@ par ailleurs les catégories en tant que telles :
     sage: Rings()
     Category of rings
     sage: ZZ.category()
-    Join of Category of euclidean domains
+    Join of Category of Dedekind domains
+        and Category of euclidean domains
         and Category of infinite enumerated sets
         and Category of metric spaces
     sage: ZZ.category().is_subcategory(Rings())
diff --git a/src/doc/ja/tutorial/tour_coercion.rst b/src/doc/ja/tutorial/tour_coercion.rst
@@ -99,7 +99,8 @@ Sageのクラス階層と圏の階層構造にはそれなりに類似が見ら
     sage: Rings()
     Category of rings
     sage: ZZ.category()
-    Join of Category of euclidean domains
+    Join of Category of Dedekind domains
+        and Category of euclidean domains
         and Category of infinite enumerated sets
         and Category of metric spaces
     sage: ZZ.category().is_subcategory(Rings())
diff --git a/src/doc/pt/tutorial/tour_coercion.rst b/src/doc/pt/tutorial/tour_coercion.rst
@@ -123,10 +123,10 @@ categorias matemáticas também são implementadas no Sage:
     sage: Rings()
     Category of rings
     sage: ZZ.category()
-    Join of Category of euclidean domains
+    Join of Category of Dedekind domains
+        and Category of euclidean domains
         and Category of infinite enumerated sets
         and Category of metric spaces
-
     sage: ZZ.category().is_subcategory(Rings())
     True
     sage: ZZ in Rings()
diff --git a/src/sage/algebras/clifford_algebra.py b/src/sage/algebras/clifford_algebra.py
@@ -416,7 +416,8 @@ def __init__(self, Q, names, category=None):
             sage: Cl = CliffordAlgebra(Q)
             sage: Cl.category()
             Category of finite dimensional super algebras with basis over
-             (euclidean domains and infinite enumerated sets and metric spaces)
+             (Dedekind domains and euclidean domains
+              and infinite enumerated sets and metric spaces)
             sage: TestSuite(Cl).run()
 
         TESTS:
@@ -994,7 +995,8 @@ def lift_module_morphism(self, m, names=None):
             sage: phi = Cl.lift_module_morphism(m, 'abc')
             sage: phi.category_for()
             Category of finite dimensional super algebras with basis over
-             (euclidean domains and infinite enumerated sets and metric spaces)
+             (Dedekind domains and euclidean domains
+              and infinite enumerated sets and metric spaces)
             sage: phi.matrix()
             [  1   0   0   0   7  -3  -7   0]
             [  0   1  -1  -1   0   0   0 -17]
@@ -1077,7 +1079,8 @@ def lift_isometry(self, m, names=None):
             sage: phi = Cl.lift_isometry(m, 'abc')
             sage: phi.category_for()
             Category of finite dimensional super algebras with basis over
-             (euclidean domains and infinite enumerated sets and metric spaces)
+             (Dedekind domains and euclidean domains
+              and infinite enumerated sets and metric spaces)
             sage: phi.matrix()
             [ 1  0  0  0  1  2  5  0]
             [ 0  1  1  2  0  0  0  5]
diff --git a/src/sage/categories/bimodules.py b/src/sage/categories/bimodules.py
@@ -75,14 +75,16 @@ def _make_named_class_key(self, name):
             (Join of Category of number fields
                  and Category of quotient fields
                  and Category of metric spaces,
-             Join of Category of euclidean domains
+             Join of Category of Dedekind domains
+                 and Category of euclidean domains
                  and Category of infinite enumerated sets
                  and Category of metric spaces)
 
 
             sage: Bimodules(Fields(), ZZ)._make_named_class_key('element_class')
             (Category of fields,
-             Join of Category of euclidean domains
+             Join of Category of Dedekind domains
+             and Category of euclidean domains
              and Category of infinite enumerated sets
              and Category of metric spaces)
 
diff --git a/src/sage/categories/category.py b/src/sage/categories/category.py
@@ -2837,7 +2837,8 @@ def _make_named_class_key(self, name):
         The parent class of an algebra depends only on the category of the base ring::
 
             sage: Algebras(ZZ)._make_named_class_key("parent_class")
-            Join of Category of euclidean domains
+            Join of Category of Dedekind domains
+                 and Category of euclidean domains
                  and Category of infinite enumerated sets
                  and Category of metric spaces
 
@@ -2848,7 +2849,8 @@ def _make_named_class_key(self, name):
             (Join of Category of number fields
                  and Category of quotient fields
                  and Category of metric spaces,
-             Join of Category of euclidean domains
+             Join of Category of Dedekind domains
+                 and Category of euclidean domains
                  and Category of infinite enumerated sets
                  and Category of metric spaces)
 
@@ -2974,7 +2976,8 @@ def _make_named_class_key(self, name):
         EXAMPLES::
 
             sage: Modules(ZZ)._make_named_class_key('element_class')
-            Join of Category of euclidean domains
+            Join of Category of Dedekind domains
+                 and Category of euclidean domains
                  and Category of infinite enumerated sets
                  and Category of metric spaces
             sage: Modules(QQ)._make_named_class_key('parent_class')
diff --git a/src/sage/categories/category_types.py b/src/sage/categories/category_types.py
@@ -225,7 +225,8 @@ def _make_named_class_key(self, name):
         EXAMPLES::
 
             sage: Modules(ZZ)._make_named_class_key('element_class')
-            Join of Category of euclidean domains
+            Join of Category of Dedekind domains
+             and  Category of euclidean domains
              and Category of infinite enumerated sets
              and Category of metric spaces
             sage: Modules(QQ)._make_named_class_key('parent_class')
diff --git a/src/sage/categories/homset.py b/src/sage/categories/homset.py
@@ -1244,16 +1244,18 @@ def reversed(self):
             Set of Morphisms from Ambient free module of rank 2 over
              the principal ideal domain Integer Ring to Ambient free module
              of rank 3 over the principal ideal domain Integer Ring in
-             Category of finite dimensional modules with basis over (euclidean
-             domains and infinite enumerated sets and metric spaces)
+             Category of finite dimensional modules with basis over (Dedekind
+             domains and euclidean domains
+             and infinite enumerated sets and metric spaces)
             sage: type(H)
             <class 'sage.modules.free_module_homspace.FreeModuleHomspace_with_category'>
             sage: H.reversed()
             Set of Morphisms from Ambient free module of rank 3 over
              the principal ideal domain Integer Ring to Ambient free module
              of rank 2 over the principal ideal domain Integer Ring in
-             Category of finite dimensional modules with basis over (euclidean
-             domains and infinite enumerated sets and metric spaces)
+             Category of finite dimensional modules with basis over (Dedekind
+             domains and euclidean domains
+             and infinite enumerated sets and metric spaces)
             sage: type(H.reversed())
             <class 'sage.modules.free_module_homspace.FreeModuleHomspace_with_category'>
         """
diff --git a/src/sage/categories/modules.py b/src/sage/categories/modules.py
@@ -884,7 +884,8 @@ def __init_extra__(self):
                       Ambient free module of rank 3 over the principal ideal domain Integer Ring)
                     sage: M.category()                                                  # needs sage.modules
                     Category of Cartesian products of modules with basis
-                     over (euclidean domains and infinite enumerated sets and metric spaces)
+                     over (Dedekind domains and euclidean domains
+                     and infinite enumerated sets and metric spaces)
                     sage: M.base_ring()                                                 # needs sage.modules
                     Integer Ring
 
diff --git a/src/sage/categories/morphism.pyx b/src/sage/categories/morphism.pyx
@@ -179,7 +179,7 @@ cdef class Morphism(Map):
             sage: f.category()
             Category of endsets of unital magmas and right modules over
              (euclidean domains and infinite enumerated sets and metric spaces)
-             and left modules over (euclidean domains
+             and left modules over (Dedekind domains and euclidean domains
              and infinite enumerated sets and metric spaces)
 
             sage: # needs sage.rings.number_field
diff --git a/src/sage/categories/primer.py b/src/sage/categories/primer.py
@@ -350,14 +350,17 @@
     Integer Ring
 
     sage: ZZ.category()
-    Join of Category of euclidean domains
+    Join of Category of Dedekind domains
+        and Category of euclidean domains
         and Category of infinite enumerated sets
         and Category of metric spaces
 
     sage: ZZ.categories()
-    [Join of Category of euclidean domains
+    [Join of Category of Dedekind domains
+         and Category of euclidean domains
          and Category of infinite enumerated sets
          and Category of metric spaces,
+     Category of Dedekind domains,
      Category of euclidean domains, Category of principal ideal domains,
      Category of unique factorization domains, Category of gcd domains,
      Category of integral domains, Category of domains,
diff --git a/src/sage/matrix/matrix_space.py b/src/sage/matrix/matrix_space.py
@@ -482,10 +482,12 @@ class MatrixSpace(UniqueRepresentation, Parent):
         Full MatrixSpace of 10 by 5 dense matrices over Integer Ring
         sage: MatrixSpace(ZZ,10,5).category()
         Category of infinite enumerated finite dimensional modules with basis over
-         (euclidean domains and infinite enumerated sets and metric spaces)
+         (Dedekind domains and euclidean domains
+          and infinite enumerated sets and metric spaces)
         sage: MatrixSpace(ZZ,10,10).category()
         Category of infinite enumerated finite dimensional algebras with basis over
-         (euclidean domains and infinite enumerated sets and metric spaces)
+         (Dedekind domains and euclidean domains
+          and infinite enumerated sets and metric spaces)
         sage: MatrixSpace(QQ,10).category()
         Category of infinite finite dimensional algebras with basis over
          (number fields and quotient fields and metric spaces)
@@ -649,10 +651,12 @@ def __init__(self, base_ring, nrows, ncols, sparse, implementation):
             Full MatrixSpace of 10 by 5 dense matrices over Integer Ring
             sage: MatrixSpace(ZZ,10,5).category()
             Category of infinite enumerated finite dimensional modules with basis over
-             (euclidean domains and infinite enumerated sets and metric spaces)
+             (Dedekind domains and euclidean domains
+              and infinite enumerated sets and metric spaces)
             sage: MatrixSpace(ZZ,10,10).category()
             Category of infinite enumerated finite dimensional algebras with basis over
-             (euclidean domains and infinite enumerated sets and metric spaces)
+             (Dedekind domains and euclidean domains
+              and infinite enumerated sets and metric spaces)
             sage: MatrixSpace(QQ,10).category()
             Category of infinite finite dimensional algebras with basis over
              (number fields and quotient fields and metric spaces)
diff --git a/src/sage/modules/free_module.py b/src/sage/modules/free_module.py
@@ -1926,7 +1926,7 @@ class FreeModule_generic(Module_free_ambient):
          (finite enumerated fields and subquotients of monoids and quotients of semigroups)
         sage: FreeModule(ZZ,3).category()
         Category of finite dimensional modules with basis over
-         (euclidean domains and infinite enumerated sets
+         (Dedekind domains and euclidean domains and infinite enumerated sets
           and metric spaces)
         sage: (QQ^0).category()
         Category of finite enumerated finite dimensional vector spaces with basis
diff --git a/src/sage/modules/free_module_homspace.py b/src/sage/modules/free_module_homspace.py
@@ -28,7 +28,8 @@
      to Ambient free module of rank 2
      over the principal ideal domain Integer Ring
      in Category of finite dimensional modules with basis over
-     (euclidean domains and infinite enumerated sets and metric spaces)
+     (Dedekind domains and euclidean domains
+      and infinite enumerated sets and metric spaces)
     sage: B = H.basis()
     sage: len(B)
     6
diff --git a/src/sage/rings/laurent_series_ring.py b/src/sage/rings/laurent_series_ring.py
@@ -154,7 +154,8 @@ class LaurentSeriesRing(UniqueRepresentation, CommutativeRing):
 
         sage: LaurentSeriesRing(ZZ, 'x').category()
         Category of infinite commutative no zero divisors algebras
-         over (euclidean domains and infinite enumerated sets and metric spaces)
+         over (Dedekind domains and euclidean domains
+         and infinite enumerated sets and metric spaces)
         sage: LaurentSeriesRing(QQ, 'x').category()
         Join of Category of complete discrete valuation fields and Category of commutative algebras
          over (number fields and quotient fields and metric spaces) and Category of infinite sets
@@ -225,7 +226,8 @@ def __init__(self, power_series):
             sage: RZZ = LaurentSeriesRing(ZZ, 't')
             sage: RZZ.category()
             Category of infinite commutative no zero divisors algebras
-             over (euclidean domains and infinite enumerated sets and metric spaces)
+             over (Dedekind domains and euclidean domains
+             and infinite enumerated sets and metric spaces)
             sage: TestSuite(RZZ).run()
 
             sage: R1 = LaurentSeriesRing(Zmod(1), 't')
diff --git a/src/sage/rings/lazy_series_ring.py b/src/sage/rings/lazy_series_ring.py
@@ -1474,7 +1474,8 @@ def __init__(self, base_ring, names, sparse=True, category=None):
             sage: TestSuite(L).run()
             sage: L.category()
             Category of infinite commutative no zero divisors algebras over
-             (euclidean domains and infinite enumerated sets and metric spaces)
+             (Dedekind domains and euclidean domains
+              and infinite enumerated sets and metric spaces)
 
             sage: L = LazyLaurentSeriesRing(QQ, 't')
             sage: TestSuite(L).run()
@@ -1488,7 +1489,8 @@ def __init__(self, base_ring, names, sparse=True, category=None):
             sage: L.category()
             Category of infinite commutative no zero divisors algebras over
              (unique factorization domains and commutative algebras over
-              (euclidean domains and infinite enumerated sets and metric spaces)
+              (Dedekind domains and euclidean domains
+              and infinite enumerated sets and metric spaces)
               and infinite sets)
 
             sage: L = LazyLaurentSeriesRing(GF(5), 't')
diff --git a/src/sage/rings/polynomial/polynomial_ring.py b/src/sage/rings/polynomial/polynomial_ring.py
@@ -244,7 +244,8 @@ def __init__(self, base_ring, name=None, sparse=False, implementation=None,
             sage: category(ZZ['x'])
             Join of Category of unique factorization domains
              and Category of commutative algebras over
-              (euclidean domains and infinite enumerated sets and metric spaces)
+              (Dedekind domains and euclidean domains
+               and infinite enumerated sets and metric spaces)
              and Category of infinite sets
             sage: category(GF(7)['x'])
             Join of Category of euclidean domains
diff --git a/src/sage/structure/category_object.pyx b/src/sage/structure/category_object.pyx
@@ -210,9 +210,11 @@ cdef class CategoryObject(SageObject):
         EXAMPLES::
 
             sage: ZZ.categories()
-            [Join of Category of euclidean domains
+            [Join of Category of Dedekind domains
+                 and Category of euclidean domains
                  and Category of infinite enumerated sets
                  and Category of metric spaces,
+             Category of Dedekind domains,
              Category of euclidean domains,
              Category of principal ideal domains,
              Category of unique factorization domains,
diff --git a/src/sage/tensor/modules/finite_rank_free_module.py b/src/sage/tensor/modules/finite_rank_free_module.py
@@ -248,7 +248,8 @@ class :class:`~sage.modules.free_module.FreeModule_generic`
     Category of finite dimensional modules over Integer Ring
     sage: N.category()
     Category of finite dimensional modules with basis over
-     (euclidean domains and infinite enumerated sets and metric spaces)
+     (Dedekind domains and euclidean domains
+     and infinite enumerated sets and metric spaces)
 
 In other words, the module created by ``FreeModule`` is actually `\ZZ^3`,
 while, in the absence of any distinguished basis, no *canonical* isomorphism
