Skip to content

Commit

Permalink
fixed the documentation of vertices and latticePoints
Browse files Browse the repository at this point in the history
  • Loading branch information
mahrud committed Nov 16, 2024
1 parent c93cc01 commit 3806a66
Showing 1 changed file with 4 additions and 6 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -2018,16 +2018,15 @@ doc ///
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 @TO null@. When the divisor is ample,
associated lattice polytope. When the divisor is ample,
the normal fan the corresponding polytope equals the fan
associated to the normal toric variety.
Text
On the projective plane, the associate polytope is either empty,
a point, or a triangle.
Example
PP2 = toricProjectiveSpace 2;
assert (null === vertices (-PP2_0))
assert (vertices (-PP2_0) == 0)
vertices (0*PP2_0)
assert isAmple PP2_0
V1 = vertices (PP2_0)
Expand Down Expand Up @@ -2082,14 +2081,13 @@ doc ///
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 lattices points
contained in the associated polytope. For a non-effective Cartier
divisor, this method returns @TO null@.
contained in the associated polytope.
Text
On the projective plane, the associate polytope is either empty, a
point, or a triangle.
Example
PP2 = toricProjectiveSpace 2;
assert (null === vertices (-PP2_0))
assert (vertices (-PP2_0) == 0)
latticePoints (0*PP2_0)
assert isAmple PP2_0
V1 = latticePoints (PP2_0)
Expand Down

0 comments on commit 3806a66

Please sign in to comment.