FormalSeries - FormalSeries -- difference of formal series

Synopsis

• Operator: -

• Usage:

  s - t

• Inputs:
  • s, an instance of the type FormalSeries,
  • t, an instance of the type FormalSeries,
• Outputs:
  • an instance of the type FormalSeries,

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 : t = series(x+y+1,2)

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

o3 : FormalSeries

i4 : s - t

                   2
o4 = FormalSeries{x  - 1, 2}

o4 : FormalSeries