RingElement * FormalSeries -- multiplication of a formal series by a constant

Synopsis

• Operator: *

• Usage:

  r * t

• Inputs:
  • r, a ring element,
  • t, an instance of the type FormalSeries,
• Outputs:
  • an instance of the type FormalSeries, the multiplication of the formal series s by the constant r

Description

i1 : R=ZZ[a]

o1 = R

o1 : PolynomialRing

i2 : S=R[x,y]

o2 = S

o2 : PolynomialRing

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

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

o3 : FormalSeries

i4 : (a^2+a) * s

                    2      2     2           2
o4 = FormalSeries{(a  + a)x  + (a  + a)x + (a  + a)y, 2}

o4 : FormalSeries