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