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

Synopsis

Operator: *
Usage:

c*D
Inputs:
- c, a number,
- D, an instance of the type SymmetricDivisorM0nbar,
Outputs:
- E, an instance of the type SymmetricDivisorM0nbar,

Description

Let $Pic(\bar{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 $\bar{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

Ways to use this method:

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