Convex_regular_4-polytope loading ...