Let Pic(M0,n)QSn denote the vector space of Sn-invariant divisors with rational coefficients. Here, given two Sn symmetric Q-divisors D and E on M0,n, the function returns D+E.
i1 : D=symmetricDivisorM0nbar(6,{1/2,1/3})
1
o1 = SymmetricDivisorM0nbar{2 => - }
2
1
3 => -
3
NumberOfPoints => 6
o1 : SymmetricDivisorM0nbar
|
i2 : E=symmetricDivisorM0nbar(6,2*B_2+3*B_3)
o2 = SymmetricDivisorM0nbar{2 => 2 }
3 => 3
NumberOfPoints => 6
o2 : SymmetricDivisorM0nbar
|
i3 : D+E
5
o3 = SymmetricDivisorM0nbar{2 => - }
2
10
3 => --
3
NumberOfPoints => 6
o3 : SymmetricDivisorM0nbar
|