Add, subtract, multiply, or divide one object to/from/by another using GMP (GNU multiple precision) rational arithmetic. Any size integers in the numerator and denominator are allowed.
linearity
(Package: rcdd) :
Find implicit linearities in H-representation and V-representation
Given V-representation (convex hull of points and directions) or H-representation (intersection of half spaces) of convex polyhedron find non-linearity generators that can be made linearity without changing polyhedron
Given a list of positive integer vectors representing sets, return a vector of all pairwise intersections (allIntersect), return a vector of all pairwise unions (allUnion), or a vector indicating the sets that are maximal in the sense of not being a subset of any other set in the list (maximal). If the list contains duplicate sets, at most one of each class of duplicates is declared maximal.
redundant
(Package: rcdd) :
Eliminate redundant rows of H-representation and V-representation
Eliminate redundant rows from H-representation (intersection of half spaces) or V-representation (convex hull of points and directions) of convex polytope.
scdd
(Package: rcdd) :
Go between H-representation and V-representation of convex polyhedron
Calculate V-representation (convex hull of points and directions) of convex polytope given H-representation (intersection of half spaces) or vice versa.
providing 
.