vertices D
On a complete normal toric variety, the polyhedron associated to a Cartier divisor is a lattice polytope. Given a torus-invariant Cartier divisor on a normal toric variety, this method returns an integer matrix whose columns correspond to the vertices of the associated lattice polytope. For a non-effective Cartier divisor, this methods returns null. When the divisor is ample, the normal fan the corresponding polytope equals the fan associated to the normal toric variety.
On the projective plane, the associate polytope is either empty, a point, or a triangle.
|
|
|
|
|
|
|
|
|
|
|
On a Hirzebruch surface, the polytopes associated to non-ample Cartier divisors give rise to other normal toric varieties.
|
|
|
|
|
|
|
|
|
|
|
|
|
The source of this document is in NormalToricVarieties/DivisorsDocumentation.m2:2014:0.