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
|