next | previous | forward | backward | up | top | index | toc | Macaulay2 website
SchurRings :: internalProduct(RingElement,RingElement)

internalProduct(RingElement,RingElement) -- Kronecker product of symmetric functions

Synopsis

Description

Given symmetric functions f1 and f2, the method computes the Kronecker product ip between f1 and f2. The output ip is an element in the ring of f2.

i1 : R = symmetricRing(QQ,6);
i2 : S = schurRing(QQ,s,6);
i3 : toE(h_3**e_3)

o3 = e
      3

o3 : R
i4 : Q = schurRing(QQ,q,6);
i5 : internalProduct(s_{3,3},q_{4,2})

o5 = q    + q      + q    + q      + q
      5,1    4,1,1    3,3    3,2,1    2,2,1,1

o5 : Q

An error is returned if f1 and f2 don't have the same degree.