Tableau(S)

tableau.spad line 1 [edit on github]

• S : SetCategory

The tableau domain is for printing Young tableaux, and coercions to and from List List S where S is a set.

coerce : % -> OutputForm

from CoercibleTo(OutputForm)

listOfLists : % -> List(List(S))

listOfLists t converts a tableau t to a list of lists.

tableau : List(List(S)) -> %

tableau(ll) converts a list of lists ll to a tableau.

CoercibleTo(OutputForm)