|  |  D.13.2.58 vertices Procedure from librarygfan.lib(see  gfan_lib).
 
Example:Usage:
vertices(p); p polytope
Return:
bigintmat, the vertices of p modulo its lineality space
 |  | 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
 | 
 
 |