用来构建一个多面体集合以及判断一个多面体的属性，是否空集，是否有界，是否满维 用来构建广义凸集，求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 con