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 |