# 4 dimensional face: Pyramid over octahedron # Attention: This code only describes how to obtain as a face of P(G) # the pyramid over the polytope "poly_cont_3d.octahedron.poly", # which then contains the octahedron as a face. a_1 := (1,2,3); a_2 := (4,5,6); b_1 := (7,8,9); b_2 := (10,11,12); c_1 := (13,14,15); c_2 := (16,17,18); d_1 := (19,20,21); d_2 := (22,23,24); p := (1,13)*(2,14)*(3,15)*(4,16)*(5,17)*(6,18)*(7,19)*(8,20)*(9,21)*(10,22)*(11,23)*(12,24); H := Group(a_1*b_1*c_1*d_1, a_2*b_2*c_2*d_2, a_1^2*a_2*b_1*c_1^2*c_2*d_1); G := Group(a_1*b_1*c_1*d_1, a_2*b_2*c_2*d_2, a_1^2*a_2*b_1*c_1^2*c_2*d_1, p); Read("pp.g"); #Generation of polytope A:=redpermmat(G,24); print_out_face(A,G,24,"poly_cont_pyr-over-poly_cont_3D.octahedron.poly"); #Generation of face A:=redpermmat(Union(H,[p]),24); print_out_face(A,G,24,"pyr-over-poly_cont_3D.octahedron.poly");