This function returns the class of the canonical divisor K on the moduli space M0,n. See e.g. [KM] for a formula for K in the standard basis.
i1 : canonicalDivisorM0nbar(14) 2 o1 = SymmetricDivisorM0nbar{2 => - -- } 13 7 3 => -- 13 14 4 => -- 13 19 5 => -- 13 22 6 => -- 13 23 7 => -- 13 NumberOfPoints => 14 o1 : SymmetricDivisorM0nbar |