invariant: atoms <> empty

Builds a tuple out of a non-empty list of atoms.

Builds a 1-tuple out of an atom.

Returns the arity of the tuple.

t1 @@@ t2 yields the concatenation of t1 followed by t2 (useful to compute the flat product of bounds/tuple sets).

Concatenation of a list of tuples. Fails if the list is empty.

Transposes a pair.

i-th element of a tuple.

is_in_join tuple t1 t2 says whether tuple is the concatenation of t1 (minus the last column) and t2 (minus the ifrst column).

Joins two tuples (getting rid of the last and first columns (resp.))

split t lg splits a tuple into two, the first being of length lg.

all_different t tells whether all atoms in a tuple are different.

to_1tuples t splits a tuple into as many 1-tuples at its length.

to_ntuples n t splits a tuple into n-tuples (length must be a multiple of n).

to_list t produces a list of atoms.