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

Synopsis

Usage:

c*D
Operator: *
Inputs:
- c, a number
- D, an instance of the type SymmetricDivisorM0nbar
Outputs:
- E, an instance of the type 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 = 2*B  + 3*B
        2      3

o1 : S_6-symmetric divisor on M-0-6-bar

i2 : 6*D

o2 = 12*B  + 18*B
         2       3

o2 : S_6-symmetric divisor on M-0-6-bar