ugly doctests but passing

fchapoton · fchapoton · commit d60e63152689 · 2025-03-21T14:55:25.000+01:00
diff --git a/src/sage/categories/lattice_posets.py b/src/sage/categories/lattice_posets.py
@@ -159,7 +159,7 @@ class Stone(CategoryWithAxiom):
         EXAMPLES::
 
             sage: LatticePosets().Stone()
-            Category of stone lattice posets
+            Category of stone congruence uniform semidistributive trim lattice posets
         """
         @cached_method
         def super_categories(self):
@@ -171,7 +171,7 @@ def super_categories(self):
             EXAMPLES::
 
                 sage: LatticePosets().Stone().super_categories()
-                [Category of distributive lattice posets]
+                [Category of distributive congruence uniform semidistributive trim lattice posets]
             """
             return [LatticePosets().Distributive()]
 
@@ -186,7 +186,7 @@ class Distributive(CategoryWithAxiom):
         EXAMPLES::
 
             sage: LatticePosets().Distributive()
-            Category of distributive lattice posets
+            Category of distributive congruence uniform semidistributive trim lattice posets
         """
         @cached_method
         def super_categories(self):
@@ -198,7 +198,7 @@ def super_categories(self):
             EXAMPLES::
 
                 sage: LatticePosets().Distributive().super_categories()
-                [Category of congruence uniform lattice posets,
+                [Category of congruence uniform semidistributive lattice posets,
                  Category of trim lattice posets]
             """
             return [LatticePosets().CongruenceUniform(),
@@ -215,7 +215,7 @@ class CongruenceUniform(CategoryWithAxiom):
         EXAMPLES::
 
             sage: LatticePosets().CongruenceUniform()
-            Category of congruence uniform lattice posets
+            Category of congruence uniform semidistributive lattice posets
         """
         @cached_method
         def super_categories(self):
