polytope:objects:cone:properties:combinatorics:hasse_diagram