|  |  D.13.1.34 quotientLatticeBasis Procedure from librarygfan.lib(see  gfan_lib).
 
Example:Usage:
quotientLatticeBasis(c); c cone
Return:
bigintmat, a basis of Z^n intersected with the span of c modulo Z^n intersected with the lineality space of c
 |  | LIB "gfan.lib";
intmat M[3][2]=
1,0,
0,1,
-1,0;
cone c=coneViaPoints(M);
bigintmat Q=quotientLatticeBasis(c);
print(Q);
==> 0,1
 | 
 
 |