D.13.2.34 quotientLatticeBasis

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