solvelib - data types and
utilities for the solverBasicSet - the
basic infinite setsconditionalSort
- possible sortings of a list depending on parametersgetElement - get
one element of a setisFinite - test
whether a set is finitepdioe - solve
polynomial Diophantine equationspreImage -
preimage of a set under a mappingUnion - union of a
system of sets