Macaulay2
»
Documentation
Packages
»
M0nbar
::
Table of Contents
next | previous | forward | backward | up |
index
|
toc
M0nbar : Table of Contents
M0nbar
-- calculations for divisors and curves on the moduli space of stable n-pointed genus zero curves
Bibliography
-- Bibliography for the M0nbar package
Boundary divisors
-- irreducible components of the boundary of the moduli space of stable n-pointed genus zero curves
CurveClassRepresentativeM0nbar
-- class implementing curves on the moduli space of stable n-pointed genus zero curves
curveClassRepresentativeM0nbar
-- creates an object of type CurveClassRepresentativeM0nbar
CurveClassRepresentativeM0nbar + CurveClassRepresentativeM0nbar
-- add two curve class representatives on M0nbar
CurveClassRepresentativeM0nbar - CurveClassRepresentativeM0nbar
-- subtract two curve class representatives on M0nbar
curveClassRepresentativeM0nbar(ZZ,HashTable)
-- creates an object of type CurveClassRepresentativeM0nbar
DivisorClassRepresentativeM0nbar
-- class implementing divisors on the moduli space of stable n-pointed genus zero curves
divisorClassRepresentativeM0nbar
-- creates an object of type DivisorClassRepresentativeM0nbar
DivisorClassRepresentativeM0nbar + DivisorClassRepresentativeM0nbar
-- add two divisor class representatives on M0nbar
DivisorClassRepresentativeM0nbar - DivisorClassRepresentativeM0nbar
-- subtract two divisor class representatives on M0nbar
divisorClassRepresentativeM0nbar(ZZ,HashTable)
-- creates an object of type DivisorClassRepresentativeM0nbar
F curves
-- effective curves in the moduli space of stable n-pointed genus zero curves
Fcurves
-- lists the F-curves for a given n
FcurvesOfGivenShape
-- a list of the F-curves with the given shape
intersection
-- intersection number of a curve class and divisor class
intersection(DivisorClassRepresentativeM0nbar,CurveClassRepresentativeM0nbar)
-- intersection number of a divisor class and curve class
isEffectiveExpression
-- determines whether a curve class expression is effective
isEffectiveExpression(DivisorClassRepresentativeM0nbar)
-- determines whether a divisor class expression is effective
isEquivalent
-- check whether two curve class representatives are numerically equivalent
isEquivalent(DivisorClassRepresentativeM0nbar,DivisorClassRepresentativeM0nbar)
-- check whether two divisor class representatives are numerically equivalent
KeelRelationAmongCurves
-- write the Keel relation among F curves based on the input lists
negativeSum
-- sum of the negative coefficients in CurveClassRepresentativeM0nbar
nonadjacentBasis
-- computes the nonadjacent basis of divisors on M0nbar
Number * CurveClassRepresentativeM0nbar
-- multiply a curve class representatives on M0nbar by a scalar
Number * DivisorClassRepresentativeM0nbar
-- multiply a divisor class representatives on M0nbar by a scalar
permute
-- compute the image of a curve class representative under a permutation of the marked points
permute(List,DivisorClassRepresentativeM0nbar)
-- compute the image of a divisor class representative under a permutation of the marked points
seekEffectiveExpression
-- seeks to write a curve class as an effective sum of F-curves
singletonSpineBasis
-- computes the singleton spine basis of curves on M0nbar
tex(CurveClassRepresentativeM0nbar)
-- convert to TeX format
tex(DivisorClassRepresentativeM0nbar)
-- convert to TeX format
writeCurveInDualNonadjacentBasis
-- write a curve in the basis dual to the nonadjacent basis
writeCurveInSingletonSpineBasis
-- write a curve class in the singleton spine basis of curve
writeCurveInSingletonSpineBasis(ZZ,List)
-- write a curve class in the singleton spine basis of curve
writeDivisorInNonadjacentBasis
-- write a divisor in the nonadjacent basis