fillingToPM -- convert a SchurFunctors column-form Filling to PieriMaps row-form tableaux

• Usage:

  fillingToPM F

• Inputs:
  • F, Filling, a SchurFunctors column-form Filling
• Outputs:
  • a hash table, the image of F under the antisymmetrize-then-symmetrize equivariant map $\wedge^{\lambda'} V \to \mathrm{Sym}^\lambda V$, expressed as a sum of standard PM-form tableaux with rational coefficients (after PieriMaps straightening).

i1 : needsPackage "SchurFunctors";

i2 : F = new Filling from {{0,2},{1}};

i3 : fillingToPM F

o3 = HashTable{{{0, 1}, {2}} => 1}
                                1
               {{0, 2}, {1}} => -
                                2

o3 : HashTable