Table

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

Check Table's complete doc

Back