# 4 dimensional face: Hypersimplex # Attention: This code only describes how to obtain as a face of P(G) # the pyramid over the hypersimplex. a_1 := (1,2,3); a_2 := (4,5,6); a_3 := (7,8,9); a_4 := (10,11,12); a_5 := (13,14,15); v_1 := a_1*a_2; v_2 := a_3*a_4; v_3 := a_1*a_3; v_4 := a_1*a_5; G := Group(v_1,v_2,v_3,v_4); Read("pp.g"); #Generation of polytope A:=redpermmat(G,15); print_out_face(A,G,15,"poly_cont_pyr-over-4D.hypersimplex.poly"); #Generation of face A:=redpermmat([One(G),v_1,v_2,v_4],15); print_out_face(A,G,15,"pyr-over-4D.hypersimplex.poly");