Tableau SΒΆ

tableau.spad line 1 [edit on github]

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