Some details from Chapoton's review.

sagemath · Mar 1, 2024 · 155a950 · 155a950
1 parent ac68272
commit 155a950
Show file tree

Hide file tree

Showing 4 changed files with 5 additions and 5 deletions.
diff --git a/src/sage/combinat/composition.py b/src/sage/combinat/composition.py
@@ -1755,6 +1755,8 @@ def _element_constructor_(self, lst) -> Composition:
             sage: P = Compositions()
             sage: P([3,3,1]) # indirect doctest
             [3, 3, 1]
+            sage: P(Partition([5,2,1]))
+            [5, 2, 1]
         """
         if isinstance(lst, (Composition, Partition)):
             lst = list(lst)

diff --git a/src/sage/combinat/partition.py b/src/sage/combinat/partition.py
@@ -5496,7 +5496,6 @@ def specht_module(self, base_ring=None):
 
             sage: SM = Partition([2,2,1]).specht_module(QQ); SM
             Specht module of [2, 2, 1] over Rational Field
-            sage: s = SymmetricFunctions(QQ).s()
             sage: SM.frobenius_image()                                               # needs sage.modules
             s[2, 2, 1]
         """

diff --git a/src/sage/combinat/permutation.py b/src/sage/combinat/permutation.py
@@ -7343,7 +7343,7 @@ def cardinality(self):
         return factorial(self.n)
 
     @cached_method
-    def gens(self):
+    def gens(self) -> tuple:
         r"""
         Return a set of generators for ``self`` as a group.
 

diff --git a/src/sage/combinat/symmetric_group_algebra.py b/src/sage/combinat/symmetric_group_algebra.py
@@ -1573,14 +1573,13 @@ def specht_module(self, D):
             sage: SM = SGA.specht_module(Partition([3,1,1]))
             sage: SM
             Specht module of [3, 1, 1] over Rational Field
-            sage: s = SymmetricFunctions(QQ).s()
-            sage: s(SM.frobenius_image())
+            sage: SM.frobenius_image()
             s[3, 1, 1]
 
             sage: SM = SGA.specht_module([(1,1),(1,3),(2,2),(3,1),(3,2)])
             sage: SM
             Specht module of [(1, 1), (1, 3), (2, 2), (3, 1), (3, 2)] over Rational Field
-            sage: s(SM.frobenius_image())
+            sage: SM.frobenius_image()
             s[2, 2, 1] + s[3, 1, 1] + s[3, 2]
         """
         from sage.combinat.specht_module import SpechtModule