|
D.13.4.22 gorensteinVector
Procedure from library polymake.lib (see polymake_lib).
- Usage:
- gorensteinVector(p); p polytope
- Assume:
- isGorenstein(p)==1
- Return:
- intvec, a vector v such that n*p+v is reflexive for some factor n
- Note:
- the factor n can be computed via gorensteinIndex(p)
Example:
| LIB "polymake.lib";
==> Welcome to polymake version
==> Copyright (c) 1997-2015
==> Ewgenij Gawrilow, Michael Joswig (TU Darmstadt)
==> http://www.polymake.org
intmat M[4][3]=1,1,0, 1,0,1, 1,0,0, 1,1,1;
polytope p = polytopeViaPoints(M);
gorensteinVector(p);
==> polymake: used package ppl
==> The Parma Polyhedra Library (PPL): A C++ library for convex polyhedra
==> and other numerical abstractions.
==> http://www.cs.unipr.it/ppl/
==>
==> 1,1,1
|
|