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 |