Tableau SΒΆ

tableau.spad line 1

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