# Multiplicative symmetric functions¶

A realization $$h$$ of the ring of symmetric functions is multiplicative if for a partition $$\lambda = (\lambda_1,\lambda_2,\ldots)$$ we have $$h_\lambda = h_{\lambda_1} h_{\lambda_2} \cdots$$.

class sage.combinat.sf.multiplicative.SymmetricFunctionAlgebra_multiplicative(Sym, basis_name=None, prefix=None)

The class of multiplicative symmetric functions.

A realization $$h$$ of the ring of symmetric functions is multiplicative if for a partition $$\lambda = (\lambda_1,\lambda_2,\ldots)$$ we have $$h_\lambda = h_{\lambda_1} h_{\lambda_2} \cdots$$.

coproduct_on_basis(mu)

Returns coproduct on basis for multiplicative bases.

INPUT:

• self – a multiplicative basis of the symmetric functions
• mu – a partition

OUTPUT:

• an element of the tensor square of self

EXAMPLES:

sage: Sym = SymmetricFunctions(QQ)
sage: p = Sym.powersum()
sage: p.coproduct_on_basis([2,1])
p[] # p[2, 1] + p[1] # p[2] + p[2] # p[1] + p[2, 1] # p[]

sage: e = Sym.elementary()
sage: e.coproduct_on_basis([3,1])
e[] # e[3, 1] + e[1] # e[2, 1] + e[1] # e[3] + e[1, 1] # e[2] + e[2] # e[1, 1] + e[2, 1] # e[1] + e[3] # e[1] + e[3, 1] # e[]

sage: h = Sym.homogeneous()
sage: h.coproduct_on_basis([3,1])
h[] # h[3, 1] + h[1] # h[2, 1] + h[1] # h[3] + h[1, 1] # h[2] + h[2] # h[1, 1] + h[2, 1] # h[1] + h[3] # h[1] + h[3, 1] # h[]


#### Previous topic

Monomial symmetric functions

#### Next topic

Elementary symmetric functions