ZZ * Divisor -- multiply a Divisor by an integer

i1 : Q = quadricSurface(ZZ/101[x,y,z,w]);

i2 : C = divisor({1,0},Q);

i3 : 3*C

o3 = {3, 0}

o3 : Divisor