MultivariatePowerSeries/Truncate - Maple Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : MultivariatePowerSeries/Truncate

MultivariatePowerSeries

  

Truncate

  

Truncate a power series or univariate polynomial over power series

 

Calling Sequence

Parameters

Description

Examples

Compatibility

Calling Sequence

Truncate(p, d)

Truncate(u, d)

Parameters

p

-

power series generated by this package

u

-

univariate polynomial over power series generated by this package

d

-

(optional) non-negative integer

Description

• 

The command Truncate(p, d) returns the sum of all homogeneous parts of p of degree at most d. In other words, Truncate(p, d) returns  the natural image of the power series p modulo  the d+1th power of the maximal ideal of the ring of power series.

• 

If d is greater than the current precision of p, then the necessary extra terms are computed.

• 

If d is not specified, all currently computed terms are used and no extra ones are computed. In other words, the default value of d is the precision of p.

• 

The command  Truncate(u, d) returns the polynomial obtained from u by replacing each coefficient p with the sum of the homogeneous parts of p of degree at most d. In other words, each coefficient is replaced by its image modulo the d+1th power of the maximal ideal of the ring of power series.

• 

If d is not specified, the precision of each coefficient is used. If the coefficients are currently known to different precisions, they will consequently be truncated at different degrees.

• 

When using the MultivariatePowerSeries package, do not assign anything to the variables occurring in the power series and univariate polynomials over power series. If you do, you may see invalid results.

Examples

withMultivariatePowerSeries:

We define the geometric power series in the variables x and y.

aGeometricSeriesx,y

aPowⅇrSⅇrⅈⅇs of 11xy : 1+x+y+

(1)

It is initially computed only to low precision.

Truncatea

1+x+y

(2)

If we update its precision, then the Truncate command returns more terms.

UpdatePrecisiona,3

PowⅇrSⅇrⅈⅇs of 11xy : 1+x+y+x2+2xy+y2+x3+3x2y+3xy2+y3+

(3)

Truncatea

x3+3x2y+3xy2+y3+x2+2xy+y2+x+y+1

(4)

We can get lower precision by specifying the truncation degree.

Truncatea,2

x2+2xy+y2+x+y+1

(5)

We define a univariate polynomial over power series involving a.

fUnivariatePolynomialOverPowerSeriesGeometricSeriesx,GeometricSeriesy,a,z

fUnⅈvarⅈatⅇPolynomⅈalOvⅇrPowⅇrSⅇrⅈⅇs: 1+x++1+y+z+1+x+y+x2+2xy+y2+x3+3x2y+3xy2+y3+z2

(6)

The constant and linear coefficients of z are known to a different precision than the quadratic coefficient. By default, the Truncate command will return all known coefficients regardless of degree.

Truncatef

x3+3x2y+3xy2+y3+x2+2xy+y2+x+y+1z2+1+yz+1+x

(7)

If we specify the truncation degree as 2, then more terms of the constant and linear coefficient are computed and some terms of the quadratic coefficient are omitted.

Truncatef,2

x2+2xy+y2+x+y+1z2+y2+y+1z+x2+x+1

(8)

Compatibility

• 

The MultivariatePowerSeries[Truncate] command was introduced in Maple 2021.

• 

For more information on Maple 2021 changes, see Updates in Maple 2021.

See Also

GeometricSeries

HomogeneousPart

PowerSeries

Precision

UnivariatePolynomialOverPowerSeries

UpdatePrecision