Let D be an Sn symmetric Q-divisor on M0,n. This function reduces a symmetric divisor D by the gcd of its coefficients in the standard basis. This gives a canonical representative of each nonzero ray in Pic(M0,n)QSn.
i1 : D=symmetricDivisorM0nbar(6,288*B_2+144*B_3)
o1 = SymmetricDivisorM0nbar{2 => 288 }
3 => 144
NumberOfPoints => 6
o1 : SymmetricDivisorM0nbar
|
i2 : scale(D)
o2 = SymmetricDivisorM0nbar{2 => 2 }
3 => 1
NumberOfPoints => 6
o2 : SymmetricDivisorM0nbar
|