MultivariatePowerSeries
Truncate
Truncate a power series or univariate polynomial over power series
Calling Sequence
Parameters
Description
Examples
Compatibility
Truncate(p, d)
Truncate(u, d)
p
-
power series generated by this package
u
univariate polynomial over power series generated by this package
d
(optional) non-negative integer
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.
with⁡MultivariatePowerSeries:
We define the geometric power series in the variables x and y.
a≔GeometricSeries⁡x,y
a≔PowⅇrSⅇrⅈⅇs of 11−x−y : 1+x+y+…
It is initially computed only to low precision.
Truncate⁡a
1+x+y
If we update its precision, then the Truncate command returns more terms.
UpdatePrecision⁡a,3
PowⅇrSⅇrⅈⅇs of 11−x−y : 1+x+y+x2+2⁢x⁢y+y2+x3+3⁢x2⁢y+3⁢x⁢y2+y3+…
x3+3⁢x2⁢y+3⁢x⁢y2+y3+x2+2⁢x⁢y+y2+x+y+1
We can get lower precision by specifying the truncation degree.
Truncate⁡a,2
x2+2⁢x⁢y+y2+x+y+1
We define a univariate polynomial over power series involving a.
f≔UnivariatePolynomialOverPowerSeries⁡GeometricSeries⁡x,GeometricSeries⁡y,a,z
f≔UnⅈvarⅈatⅇPolynomⅈalOvⅇrPowⅇrSⅇrⅈⅇs: 1+x+…+1+y+…⁢z+1+x+y+x2+2⁢x⁢y+y2+x3+3⁢x2⁢y+3⁢x⁢y2+y3+…⁢z2
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.
Truncate⁡f
x3+3⁢x2⁢y+3⁢x⁢y2+y3+x2+2⁢x⁢y+y2+x+y+1⁢z2+1+y⁢z+1+x
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.
Truncate⁡f,2
x2+2⁢x⁢y+y2+x+y+1⁢z2+y2+y+1⁢z+x2+x+1
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
Download Help Document
What kind of issue would you like to report? (Optional)