| addHeq | make H-representation of convex polyhedron |
| addHin | make H-representation of convex polyhedron |
| addVlines | make V-representation of convex polyhedron |
| addVpoints | make V-representation of convex polyhedron |
| addVrays | make V-representation of convex polyhedron |
| all.intersect | subsets and maximal sets |
| all.union | subsets and maximal sets |
| allfaces | All Faces of a Convex Polyhedron |
| allIntersect | subsets and maximal sets |
| allUnion | subsets and maximal sets |
| ArithmeticGMP | GMP Rational Arithmetic |
| ConvertGMP | Convert Between Real, Integer, and GMP Rational |
| d2q | Convert Between Real, Integer, and GMP Rational |
| linearity | Find implicit linearities in H-representation and V-representation of convex polyhedron |
| lpcdd | linear programming with exact arithmetic |
| makeH | make H-representation of convex polyhedron |
| makeV | make V-representation of convex polyhedron |
| maximal | subsets and maximal sets |
| q2d | Convert Between Real, Integer, and GMP Rational |
| q2q | Convert Between Real, Integer, and GMP Rational |
| qabs | GMP Rational Arithmetic |
| qdq | GMP Rational Arithmetic |
| qgram | GMP Rational Gram-Schmidt |
| qinv | GMP Rational Arithmetic |
| qmatmult | GMP Rational Arithmetic |
| qmax | GMP Rational Arithmetic |
| qmin | GMP Rational Arithmetic |
| qmq | GMP Rational Arithmetic |
| qneg | GMP Rational Arithmetic |
| qpq | GMP Rational Arithmetic |
| qprod | GMP Rational Arithmetic |
| qsign | GMP Rational Arithmetic |
| qsum | GMP Rational Arithmetic |
| qxq | GMP Rational Arithmetic |
| redundant | Eliminate redundant rows of H-representation and V-representation |
| scdd | Go between H-representation and V-representation of convex polyhedron |
| validcdd | validate an H-representation or V-representation of convex polyhedron |
| z2q | Convert Between Real, Integer, and GMP Rational |