|
D.13.2.11 eta
Procedure from library polymake.lib (see polymake_lib).
- Usage:
- eta(triang,polygon); triang, polygon list
- Assume:
- polygon has the format of the output of splitPolygon, i.e. it is a
list with three entries describing a convex lattice polygon in the
following way:
polygon[1] : is a list of lists; for each i the entry polygon[1][i][1]
is a lattice point which is a vertex of the lattice
polygon, and polygon[1][i][2] is an integer assigned to
this lattice point as identifying index
polygon[2] : is a list of lists; for each vertex of the polygon,
i.e. for each entry in polygon[1], it contains a list
polygon[2][i], which contains the lattice points on the
facet with endpoints polygon[1][i] and polygon[1][i+1]
- i considered mod size(polygon[1]);
each such lattice point contributes an entry
polygon[2][i][j][1] which is an integer
vector giving the coordinate of the lattice point and an
entry polygon[2][i][j][2] which is the identifying index
polygon[3] : is a list of lists, where each entry corresponds to a
lattice point in the interior of the polygon, with
polygon[3][j][1] being the coordinates of the point
and polygon[3][j][2] being the identifying index;
triang is a list of integer vectors all of size three describing a
triangulation of the polygon described by polygon; if an entry of
triang is the vector (i,j,k) then the triangle is built by the vertices
with indices i, j and k
- Return:
- intvec, the integer vector eta describing that vertex of the Newton
polytope discriminant of the polygone whose dual cone in the
Groebner fan contains the cone of the secondary fan of the
polygon corresponding to the given triangulation
- Note:
- for a better description of eta see Gelfand, Kapranov,
Zelevinski: Discriminants, Resultants and multidimensional Determinants.
Chapter 10.
Example:
| LIB "polymake.lib";
==> Welcome to polymake version
==> Copyright (c) 1997-2015
==> Ewgenij Gawrilow, Michael Joswig (TU Darmstadt)
==> http://www.polymake.org
// the lattice polygon spanned by the points (0,0), (3,0) and (0,3)
// with all integer points as markings
list polygon=intvec(1,1),intvec(3,0),intvec(2,0),intvec(1,0),
intvec(0,0),intvec(2,1),intvec(0,1),intvec(1,2),
intvec(0,2),intvec(0,3);
// split the polygon in its vertices, its facets and its interior points
list sp=splitPolygon(polygon);
// define a triangulation by connecting the only interior point
// with the vertices
list triang=intvec(1,2,5),intvec(1,5,10),intvec(1,5,10);
// compute the eta-vector of this triangulation
eta(triang,sp);
==> 9,1,0,0,1,0,0,0,0,1
|
|