Suppose I have an abstract polytope defined by a poset. Is there any methods for determining whether the abstract polytope can be geometrically realization as convex-hull on its set of vertices?