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 |