Recent changes to Table

Table modified by Nicolas Hainaux

Nicolas Hainaux — Mon, 24 Feb 2014 20:49:21 -0000

Table modified by Nicolas Hainaux

Nicolas Hainaux — Mon, 24 Feb 2014 18:08:07 -0000

--- v1
+++ v2
@@ -13,7 +13,7 @@
 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 n lines and 2 columns; this is indexable, for instance, cell[1][3] will be the 4th cell on the second line
+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

Table modified by Nicolas Hainaux

Nicolas Hainaux — Mon, 24 Feb 2014 18:06:52 -0000

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 n lines and 2 columns; this is indexable, for instance, cell[1][3] will be the 4th cell on the second line

Debugging info: no dbg_str() method, so far

Check Table's complete doc

Back