Let Pic(M0,n)QSn denote the vector space of Sn-invariant divisors with rational coefficients. Here, given an Sn symmetric Q-divisor D on M0,n, the function returns -D.
i1 : D=symmetricDivisorM0nbar(6,{2,3}) o1 = SymmetricDivisorM0nbar{2 => 2 } 3 => 3 NumberOfPoints => 6 o1 : SymmetricDivisorM0nbar |
i2 : E=-D o2 = SymmetricDivisorM0nbar{2 => -2 } 3 => -3 NumberOfPoints => 6 o2 : SymmetricDivisorM0nbar |