gfan.lib
LIB "gfan.lib"; intmat M[4][3]= 1,0,0, 1,2,0, 1,0,2, 1,2,2, 1,1,1; polytope p=polytopeViaPoints(M); vertices(p); ==> 1,2,0, ==> 1,0,0, ==> 1,0,2, ==> 1,2,2