addHeq |
make H-representation of convex polyhedron |

addHin |
make H-representation of convex polyhedron |

all.intersect |
subsets and maximal sets |

all.union |
subsets and maximal sets |

allfaces |
All Faces of a Convex Polyhedron |

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 |

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 |

qinv |
GMP Rational Arithmetic |

qmatmult |
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 and H-representation or V-representation of convex polyhedron |

z2q |
Convert Between Real, Integer, and GMP Rational |