|
D.16.1.7 gorensteinIndex
Syntax:
Polymake::gorensteinIndex( polytope p )
Assume:
- p is Gorenstein, i.e. n*p+v is reflexive for some dilatation n and translation v.
Type:
- int
Purpose:
- returns a factor n such that n*p+v is reflexive for some translation v.
Note:
- you can check whether p is Gorenstein by Polymake::isGorenstein(p);
the translation v can be computed via Polymake::gorensteinVector(p).
Example:
| intmat M[4][3]=1,1,0, 1,0,1, 1,0,0, 1,1,1;
polytope p = polytopeViaPoints(M);
Polymake::gorensteinIndex(p);
intmat N[3][3]=1,2,0, 1,0,2, 1,-2,-2;
polytope q = polytopeViaPoints(N);
Polymake::gorensteinIndex(q);
|
|