Skip to content

Commit

Permalink
Fix and add the documentation for (monomials,ToricLinearSeries)
Browse files Browse the repository at this point in the history
  • Loading branch information
jkyang92 committed Jun 5, 2024
1 parent 57a0607 commit 0f6096f
Showing 1 changed file with 19 additions and 20 deletions.
39 changes: 19 additions & 20 deletions ToricExtras/ToricLinearSeriesDocs.m2
Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,7 @@ doc ///
of monomials of the Cox ring
Description
Text
Constructs a toric linear series from a list of monomials from the Cox ring of a toric variety.
Constructs a toric linear series from a list of monomials from the Cox ring of a toric variety.
It checks that all monomials are of the same degree.
It expects the monomials to be in ring(X) where X is a normal toric variety.
Example
Expand All @@ -33,22 +33,21 @@ doc ///
ToricDivisor
///

-- doc ///
-- Key
-- (monomials,ToricLinearSeries)
-- Headline
-- method to extract the list of monomials encoding a linear series
-- Usage
-- monomials s
-- Inputs
-- s : toricLinearSeries
-- Description
-- Text
-- Returns the list of monomials encoding a linear series
-- Example
-- P2 = toricProjectiveSpace 2;
-- coxRing = ring P2;
-- mons = {x_0^2, x_0*x_1, x_1^2}
-- monomials toricLinearSeries mons

-- ///
doc ///
Key
(monomials,ToricLinearSeries)
Headline
method to extract the list of monomials encoding a (generating set for) linear series
Usage
monomials s
Inputs
s : ToricLinearSeries
Description
Text
Returns the list of monomials encoding a linear series
Example
P2 = toricProjectiveSpace 2;
coxRing = ring P2;
mons = {x_0^2, x_0*x_1, x_1^2}
monomials toricLinearSeries mons
///

0 comments on commit 0f6096f

Please sign in to comment.