Fix the counit in sp/o bases.

sagemath · Dec 27, 2013 · 223b11b · 223b11b
1 parent 4933218
commit 223b11b
Show file tree

Hide file tree

Showing 2 changed files with 30 additions and 0 deletions.
diff --git a/src/sage/combinat/sf/orthogonal.py b/src/sage/combinat/sf/orthogonal.py
@@ -183,6 +183,21 @@ def _multiply(self, r, l):
         s = self.realization_of().schur()
         return self(s(r) * s(l))
 
+    def counit(self, x):
+        """
+        Return the counit of ``x`` in ``self``.
+
+        EXAMPLES::
+
+            sage: o = SymmetricFunctions(QQ).o()
+            sage: o.an_element()
+            2*o[] + 2*o[1] + 3*o[2]
+            sage: o.counit(o.an_element())
+            -1
+        """
+        s = self.realization_of().schur()
+        return s.counit(s(x))
+
     @cached_method
     def _s_to_o_on_basis(self, lam):
         r"""

diff --git a/src/sage/combinat/sf/symplectic.py b/src/sage/combinat/sf/symplectic.py
@@ -185,6 +185,21 @@ def _multiply(self, r, l):
         s = self.realization_of().schur()
         return self(s(r) * s(l))
 
+    def counit(self, x):
+        """
+        Return the counit of ``x`` in ``self``.
+
+        EXAMPLES::
+
+            sage: sp = SymmetricFunctions(QQ).sp()
+            sage: sp.an_element()
+            2*sp[] + 2*sp[1] + 3*sp[2]
+            sage: sp.counit(sp.an_element())
+            2
+        """
+        s = self.realization_of().schur()
+        return s.counit(s(x))
+
     @cached_method
     def _s_to_sp_on_basis(self, lam):
         r"""