# 4 dimensional polytope: prism-over-tetrahedron type 1 G:=Group((1,2,3,4),(5,6)); Read("pp.g"); #Generation of polytope A:=redpermmat(G,6); print_out_face(A,G,6,"4D.prism-over-tetrahedron-1.poly");