|
4.22.4.24 getSemigroupGenerator
Syntax:
getSemigroupGenerator( cone c )
Type:
- intvec
Purpose:
- if getDimension(c)=getLinealityDimension(c)+1, then the quotient lattice of Z^n intersected with the span and Z^n intersected with the lineality space is Z^1 and the class of the cone is a semigroup. returns a generator of that semigroup. (like getQuotientLatticeBasis(cone c), but as intvec)
Example:
| intmat M[3][2]=
1,0,
0,1,
-1,0;
cone c=coneViaRays(M);
getSemigroupGenerator(c);
==> 0,1
|
|