HELP FOR: how tableaux are represented in ACE

SYNOPSIS:

• This part describes how tableaux are represented in ACE.

• First of all, it is important to define the alphabet as the integers. The order on the alphabet is the natural one, ... < -1 < 0 < 1 < 2 < ...

• A tableau is represented as the list of its rows read from top to bottom and from left to right. Hence, lengths of the lists (rows) are in weakly increasing order. Furthermore, each list (row) must be in weakly increasing order while if we read the tableau column by column from bottom to top, values must be in increasing order. 4 3 4 is represented by the list [[4], [3,4], [1,1,5,7]] 1 1 5 7

• The empty tableau is denoted by the empty list.

EXAMPLES:

> t:=[[4], [3,4], [1,1,5,7]]:
> Tab2Mat(t);
 
                                [ 4          ]
                                [            ]
                                [ 3  4       ]
                                [            ]
                                [ 1  1  5  7 ]