# 4 dimensional face: Bipyramid over cube a_1 := (1,2,3); a_2 := (4,5,6); a_3 := (7,8,9); b_1 := (10,11,12); b_2 := (13,14,15); b_3 := (16,17,18); G := Group(a_1*b_1, a_2*b_2, a_3*b_3, a_1*a_2*a_3); Read("pp.g"); #Generation of polytope A:=redpermmat(G,18); print_out_face(A,G,18,"poly_cont_4D.bipyr-over-cube.poly"); #Generation of face A:=redpermmat([One(G),a_1*a_2*a_3*b_1*b_2*b_3],18); print_out_face(A,G,18,"4D.bipyr-over-cube.poly");