用来构建一个多面体集合以及判断一个多面体的属性，是否空集，是否有界，是否满维

用来构建广义凸集，求MPC模型集

多面体之间的几何操作，求解非冗余不等式等-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.