Macaulay2 » Documentation
Packages » SchurFunctors :: standardWeylTableaux
next | previous | forward | backward | up | index | toc

standardWeylTableaux -- all Weyl-semistandard tableaux of a given shape

Description

The output is a $\mathbb{Z}$-basis of weylModule(lambda, R^d). Its cardinality equals $\dim S_\lambda(\mathbb{Q}^d)$, the same count given by standardTableaux for the conjugate shape: $S_\lambda$ and $W_\lambda$ have the same rank in every characteristic.

i1 : SW = standardWeylTableaux(3, {2,1});
i2 : #SW

o2 = 8
i3 : rank weylModule({2,1}, QQ^3)

o3 = 8
i4 : standardWeylTableaux(2, {2})

      +-+-+  +-+-+  +-+-+
o4 = {|0|0|, |0|1|, |1|1|}
      +-+-+  +-+-+  +-+-+

o4 : List
i5 : standardWeylTableaux(3, {1,1,1})

      +-+
o5 = {|0|}
      |1|
      |2|
      +-+

o5 : List

See also

Ways to use standardWeylTableaux:

  • standardWeylTableaux(ZZ,List)

For the programmer

The object standardWeylTableaux is a method function.


The source of this document is in /build/reproducible-path/macaulay2-1.26.05+ds/M2/Macaulay2/packages/SchurFunctors.m2:1784:0.