|  |  D.13.1.38 semigroupGenerator Procedure from librarygfan.lib(see  gfan_lib).
 
Example:Usage:
semigroupGenerator(c); c cone
Return:
bigintmat, the generator of Z^n intersected with c modulo Z^n intersected with the lineality space of c
Assume:
dimension(c) == linealityDimension(c)+1
 |  | LIB "gfan.lib";
intmat M[3][2]=
1,0,
0,1,
-1,0;
cone c=coneViaPoints(M);
semigroupGenerator(c);
==> 0,1
 | 
 
 |