Introduction - If you have any usage issues, please Google them yourself
Used to build a set of polyhedral polyhedron and the judgment of a property, whether empty set, whether bounded, whether used to build a full-dimensional generalized convex sets, figuring operation between the MPC model set polyhedron, solving the non-redundant inequalities, etc.