Updating doctest to use the generic code for simple module parameteri…

…zation.
tscrim · May 14, 2024 · 5214127 · 5214127
1 parent 8241a21
commit 5214127
Showing 1 changed file with 23 additions and 11 deletions.
diff --git a/src/sage/categories/finite_dimensional_algebras_with_basis.py b/src/sage/categories/finite_dimensional_algebras_with_basis.py
@@ -1434,17 +1434,29 @@ def simple_module_parameterization(self):
 
                 EXAMPLES::
 
-                    sage: S = SymmetricGroupAlgebra(QQ, 4)                              # needs sage.groups sage.modules
-                    sage: S.simple_module_parameterization()                            # needs sage.groups sage.modules
-                    ([1, 1, 1, 1], [2, 1, 1], [2, 2], [3, 1], [4])
-
-                    sage: S = SymmetricGroupAlgebra(GF(3), 4)                           # needs sage.groups sage.modules
-                    sage: S.simple_module_parameterization()                            # needs sage.groups sage.modules
-                    ([2, 1, 1], [2, 2], [3, 1], [4])
-
-                    sage: S = SymmetricGroupAlgebra(GF(4), 4)                           # needs sage.groups sage.modules
-                    sage: S.simple_module_parameterization()                            # needs sage.groups sage.modules
-                    ([3, 1], [4])
+                    sage: TL = TemperleyLiebAlgebra(5, 30, QQ)  # semisimple
+                    sage: len(TL.radical_basis())
+                    0
+                    sage: TL.simple_module_parameterization()
+                    (1, 3, 5)
+
+                    sage: TL = TemperleyLiebAlgebra(5, 1, QQ)  # not semisimple
+                    sage: len(TL.radical_basis())
+                    24
+                    sage: TL.simple_module_parameterization()
+                    (1, 3, 5)
+
+                    sage: TL = TemperleyLiebAlgebra(6, 30, QQ)  # semisimple
+                    sage: all(TL.cell_module(la).dimension()
+                    ....:     == TL.cell_module(la).simple_module().dimension()
+                    ....:     for la in TL.simple_module_parameterization())
+                    True
+                    sage: TL.simple_module_parameterization()
+                    (0, 2, 4, 6)
+
+                    sage: TL = TemperleyLiebAlgebra(6, 0, QQ)  # not semisimple
+                    sage: TL.simple_module_parameterization()
+                    (2, 4, 6)
                 """
                 return tuple([mu for mu in self.cell_poset()
                               if self.cell_module(mu).nonzero_bilinear_form()])