From 0f6096fafa1f666a5a7ca1e816e0ed3d8482e33e Mon Sep 17 00:00:00 2001 From: Jay Yang Date: Wed, 5 Jun 2024 10:34:05 -0500 Subject: [PATCH] Fix and add the documentation for (monomials,ToricLinearSeries) --- ToricExtras/ToricLinearSeriesDocs.m2 | 39 ++++++++++++++-------------- 1 file changed, 19 insertions(+), 20 deletions(-) diff --git a/ToricExtras/ToricLinearSeriesDocs.m2 b/ToricExtras/ToricLinearSeriesDocs.m2 index b38b577..47cfca9 100644 --- a/ToricExtras/ToricLinearSeriesDocs.m2 +++ b/ToricExtras/ToricLinearSeriesDocs.m2 @@ -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 @@ -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 - --- /// \ No newline at end of file +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 +///