polytope:functions:producing_a_polytope_from_polytopes:pointed_part