|
4.23.3.30 semigroupGenerator
Syntax:
semigroupGenerator( cone c )
Type:
- intvec
Purpose:
- if dimension(c)=linealityDimension(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 quotientLatticeBasis(cone c), but as intvec)
Example:
|