ZZ * FormalSeries -- multiplication of a formal series by an integer

Synopsis

• Operator: *

• Usage:

  n * t

• Inputs:
  • n, an integer,
  • t, an instance of the type FormalSeries,
• Outputs:
  • an instance of the type FormalSeries, The multiplication of the formal series s by the integer n

Description

i1 : R=ZZ[x,y]

o1 = R

o1 : PolynomialRing

i2 : s = series(x^2+x+y,2)

                   2
o2 = FormalSeries{x  + x + y, 2}

o2 : FormalSeries

i3 : 4 * s

                    2
o3 = FormalSeries{4x  + 4x + 4y, 2}

o3 : FormalSeries