This is used to manipulate and display a Table.
The main methods are into_str(), which is able to display the content of the Table as a Quotients' equality (the matching option is 'as_a_quotients_equality') and cross_product() which will create a 'cross product' (actually a Quotient) between to columns (positions given as a number, in argument), according to the position of the 'unknown' given as 0, 1, 2, or 3 in argument:
0: x a 1: a x 2: a b 3: a b b c b c c x x c
Possible args for __init__():
[[Calculable], [Calculable]]
The lengths of the two lists must be equal.
The first list contains the elements of the first line, the second list contains the elements of the second line.
Fields:
cell: (read-only) this is an array of 2 lines and n columns; this is indexable, for instance, cell[1][3] will be the content of the 4th cell on the second line
Debugging info: no dbg_str() method, so far