|
4.23.4.22 quotientLatticeBasis
Syntax:
quotientLatticeBasis( cone c )
Type:
- bigintmat%
Purpose:
- quotient of Z^n intersected with the span of the cone with Z^n intersected with its lineality space
Example:
| intmat M[3][2]=
1,0,
0,1,
-1,0;
cone c=coneViaRays(M);
bigintmat Q=quotientLatticeBasis(c);
print(Q);
==> 0, 1
|
|