Documentation

"Tuples" fitting into a give shape. The order is lexicographic, that is,

sort ts == ts where ts = tuples' shape

Example:

tuples' [2,3] = 
  [[0,0],[0,1],[0,2],[0,3],[1,0],[1,1],[1,2],[1,3],[2,0],[2,1],[2,2],[2,3]]

positive "tuples" fitting into a give shape.

# = \prod_i (m_i + 1)

# = \prod_i m_i

# = (m+1) ^ len

# = m ^ len