Number * SymmetricDivisorM0nbar -- multiply a symmetric divisor by a number

Synopsis

Usage:
c*D
Operator: *
Inputs:
- c, a number
- D, an object of class SymmetricDivisorM0nbar
Outputs:
- E, an object of class SymmetricDivisorM0nbar

Description

Let Pic(M_0,n)_R^S_n denote the vector space of S_n-invariant divisors with coefficients in a ring R. Here, given an S_n symmetric R-divisor D on M_0,n and a number c, the function returns cD.

i1 : D=symmetricDivisorM0nbar(6,{2,3})

o1 = SymmetricDivisorM0nbar{2 => 2             }
                            3 => 3
                            NumberOfPoints => 6

o1 : SymmetricDivisorM0nbar

i2 : 6*D

o2 = SymmetricDivisorM0nbar{2 => 12            }
                            3 => 18
                            NumberOfPoints => 6

o2 : SymmetricDivisorM0nbar