def _to_m(self, part):
r"""
Returns a function which gives the coefficient of a partition
in the monomial expansion of self(part).
INPUT:
- ``self`` -- an instance of the LLT hspin basis
- ``part`` -- a partition
OUTPUT:
- returns a function which accepts a partition and returns the coefficient
in the expansion of the monomial basis
EXAMPLES::
sage: HSp3 = SymmetricFunctions(FractionField(QQ['t'])).llt(3).hspin()
sage: f21 = HSp3._to_m(Partition([2,1]))
sage: [f21(p) for p in Partitions(3)]
[t, t + 1, t + 2]
sage: HSp3.symmetric_function_ring().m()( HSp3[2,1] )
(t+2)*m[1, 1, 1] + (t+1)*m[2, 1] + t*m[3]
"""
level = self.level()
f = lambda part2: QQt(ribbon_tableau.spin_polynomial([level*i for i in part], part2, level))
return f
def _to_m(self, part):
"""
Returns a function which gives the coefficient of a partition
in the monomial expansion of self(part).
EXAMPLES::
sage: from sage.combinat.sf.llt import *
sage: HSp3 = LLT_spin(QQ, 3)
sage: f21 = HSp3._to_m(Partition([2,1]))
sage: [f21(p) for p in Partitions(3)]
[t, t + 1, t + 2]
"""
BR = self.base_ring()
level = self.level()
f = lambda part2: BR(ribbon_tableau.spin_polynomial([level*i for i in part], part2, level))
return f
def _to_m(self, part):
"""
Returns a function which gives the coefficient of a partition
in the monomial expansion of self(part).
EXAMPLES::
sage: from sage.combinat.sf.llt import *
sage: HSp3 = LLT_spin(QQ, 3)
sage: f21 = HSp3._to_m(Partition([2,1]))
sage: [f21(p) for p in Partitions(3)]
[t, t + 1, t + 2]
"""
BR = self.base_ring()
level = self.level()
f = lambda part2: BR(
ribbon_tableau.spin_polynomial([level * i
for i in part], part2, level))
return f
