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