From 223b11b19d050597267d29150fa1e2cb12a3861b Mon Sep 17 00:00:00 2001 From: Travis Scrimshaw Date: Thu, 26 Dec 2013 22:22:15 -0800 Subject: [PATCH] Fix the counit in sp/o bases. --- src/sage/combinat/sf/orthogonal.py | 15 +++++++++++++++ src/sage/combinat/sf/symplectic.py | 15 +++++++++++++++ 2 files changed, 30 insertions(+) diff --git a/src/sage/combinat/sf/orthogonal.py b/src/sage/combinat/sf/orthogonal.py index 1e51ce70488..dca14e3479c 100644 --- 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 index 3dfd27c0269..31ae2a519d0 100644 --- 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"""