Module genref
generalized refinement
Functions
__lt (d1, d2) |
Tables
indexByTuple | We plan to use color[t] for, e.g., t={3,8,7} in 3-WL Internally color[t] is stored at color.indexByTuple[3][8][7] Note that refmain never assigns a new table to color. |
Functions
- __lt (d1, d2)
-
Parameters:
- d1
- d2
Returns:
- boolean d1 stands before d2 or is equiv. to d2
- number r: d1,d2 can be separated in round r