Skip to content

SkewTableaux ​

A carrier domain from the domains catalogue; the signature is its storage shape. What is known about it elsewhere is mostly recorded against the collections that enumerate it, and says so.

The type space of SkewTableau -- Element(x, SkewTableaux) is True for a SkewTableau(...) value, False for one of another carrier.

SkewTableaux: set<skew_tableau>

Domain: Carrier domains

Examples

Basic #
live ↗
InSkewTableau⁡(Tuple⁡([1],[1],[1]))∈SkewTableaux\operatorname{SkewTableau}(\operatorname{Tuple}(\bigl\lbrack1\bigr\rbrack,\bigl\lbrack1\bigr\rbrack,\bigl\lbrack1\bigr\rbrack))∈\mathrm{SkewTableaux}OutTrue\mathrm{True}
About
Examples1