This method computes the internal (Kronecker) product of two homogeneous symmetric functions of the same degree. If we think of these functions as being virtual characters of some symmetric group, then their internal product is just the character of the tensor product of the corresponding virtual representations. We use the binary operator ** (missing documentation) as a shorthand for internalProduct.
The complete symmetric function of degree n corresponds to the trivial Sn-representation and is therefore the unit of the representation ring of Sn:
i1 : R = symmetricRing(QQ,5); |
i2 : S = schurRing(QQ,s,3); |
i3 : internalProduct(h_3,s_{2,1}) o3 = s 2,1 o3 : S |
i4 : toE(h_3 ** e_3) o4 = e 3 o4 : QQ[e , e , e , p , p , p , h , h , h ] 1 2 3 1 2 3 1 2 3 |
The square of the sign representation is the trivial representation:
i5 : R = symmetricRing(QQ,5); |
i6 : toH internalProduct(e_3,e_3) o6 = h 3 o6 : R |