MultivariatePowerSeries
Display
nicely display a power series or univariate polynomial over power series
Calling Sequence
Parameters
Description
Examples
Compatibility
Display(p, d)
Display(u, d)
p
-
power series generated by this package
u
univariate polynomial over power series generated by this package
d
(optional) list of equation(s) of the form option = value where option can be maxterms, precision, or (if the argument is a univariate polynomial over power series) maxdegree, and value is a non-negative integer or the symbol infinity
Display(p,d) displays the power series p in the style given by d. The argument d is a list of equations which contains either maxterms=n or precision=m, or both. In those equations n and m are of type either nonnegint or infinity.
If d is not provided, then the display style of p is taken from an earlier call of the form SetDisplayStyle(p,d), if any. Otherwise, the display style of p is taken from an earlier call of the form SetDefaultDisplayStyle(d), if any. Finally, if the given display style does not provide values for one (or both) of the settings, Maple uses the default values maxterms=50 and precision=infinity.
The attribute maxterms sets the maximum number of terms of p to be displayed while the the attribute precision sets the maximum degree of the displayed terms.
Using infinity for either n or m indicates that no limits for the number of terms, or their degree, is set.
Display(u,d) displays the coefficients of the univariate polynomial over power series u in in the style given by d. The argument d can take the same entries as for Display(p, d), but additionally, the option maxdegree=n can be used: it limits the maximum degree of a displayed term with respect to the main variable of u only. Like for power series, Display uses d if provided; or otherwise the argument to an earlier call to SetDisplayStyle(u, d), if any; or otherwise the argument to SetDefaultDisplayStyle(d), if any; or finally, the same default values maxterms=50 and precision=infinity and additionally maxdegree=infinity.
The limit on the number of terms enforced by the maxterms option is enforced for all terms of the coefficients of u together, the terms of the coefficient power series are not counted independently. Only nonzero terms are counted.
The command Display will only ever display coefficients that were computed before; it does not cause computation of further coefficients.
When using the MultivariatePowerSeries package, do not assign anything to the variables occurring in the power series, Puiseux series, and univariate polynomials over these series. If you do, you may see invalid results.
with⁡MultivariatePowerSeries:
Define a power series in x and y. Initially, only the constant and linear terms are computed, so these are shown.
a≔GeometricSeries⁡x,y
a≔PowⅇrSⅇrⅈⅇs of 11−x−y : 1+x+y+…
Display⁡a
PowⅇrSⅇrⅈⅇs of 11−x−y : 1+x+y+…
If we compute more terms (in this case, up to homogeneous degree 10), more terms will be displayed.
UpdatePrecision⁡a,10
PowⅇrSⅇrⅈⅇs of 11−x−y : 1+x+y+x2+2⁢x⁢y+y2+x3+3⁢x2⁢y+3⁢x⁢y2+y3+x4+4⁢x3⁢y+6⁢x2⁢y2+4⁢x⁢y3+y4+x5+5⁢x4⁢y+10⁢x3⁢y2+10⁢x2⁢y3+5⁢x⁢y4+y5+x6+6⁢x5⁢y+15⁢x4⁢y2+20⁢x3⁢y3+15⁢x2⁢y4+6⁢x⁢y5+y6+x7+7⁢x6⁢y+21⁢x5⁢y2+35⁢x4⁢y3+35⁢x3⁢y4+21⁢x2⁢y5+7⁢x⁢y6+y7+x8+8⁢x7⁢y+28⁢x6⁢y2+56⁢x5⁢y3+70⁢x4⁢y4+56⁢x3⁢y5+28⁢x2⁢y6+8⁢x⁢y7+y8+x9+9⁢x8⁢y+36⁢x7⁢y2+84⁢x6⁢y3+126⁢x5⁢y4+…+…
The following calling sequence shows up to 20 terms and up to homogeneous degree 5. For this power series, there are a total of 21 terms of homogeneous degree less than or equal to 5, so it shows all but one of them.
Display⁡a,maxterms=20,precision=5
PowⅇrSⅇrⅈⅇs of 11−x−y : 1+x+y+x2+2⁢x⁢y+y2+x3+3⁢x2⁢y+3⁢x⁢y2+y3+x4+4⁢x3⁢y+6⁢x2⁢y2+4⁢x⁢y3+y4+x5+5⁢x4⁢y+10⁢x3⁢y2+10⁢x2⁢y3+5⁢x⁢y4+…+…
If we omit the maxterms parameter, its default value is 50, so the following command shows all terms of homogeneous degree less than or equal to 5.
Display⁡a,precision=5
PowⅇrSⅇrⅈⅇs of 11−x−y : 1+x+y+x2+2⁢x⁢y+y2+x3+3⁢x2⁢y+3⁢x⁢y2+y3+x4+4⁢x3⁢y+6⁢x2⁢y2+4⁢x⁢y3+y4+x5+5⁢x4⁢y+10⁢x3⁢y2+10⁢x2⁢y3+5⁢x⁢y4+y5+…
We can set the maxterms and precision parameters to ∞ to show all currently computed terms.
Display⁡a,maxterms=∞,precision=∞
PowⅇrSⅇrⅈⅇs of 11−x−y : 1+x+y+x2+2⁢x⁢y+y2+x3+3⁢x2⁢y+3⁢x⁢y2+y3+x4+4⁢x3⁢y+6⁢x2⁢y2+4⁢x⁢y3+y4+x5+5⁢x4⁢y+10⁢x3⁢y2+10⁢x2⁢y3+5⁢x⁢y4+y5+x6+6⁢x5⁢y+15⁢x4⁢y2+20⁢x3⁢y3+15⁢x2⁢y4+6⁢x⁢y5+y6+x7+7⁢x6⁢y+21⁢x5⁢y2+35⁢x4⁢y3+35⁢x3⁢y4+21⁢x2⁢y5+7⁢x⁢y6+y7+x8+8⁢x7⁢y+28⁢x6⁢y2+56⁢x5⁢y3+70⁢x4⁢y4+56⁢x3⁢y5+28⁢x2⁢y6+8⁢x⁢y7+y8+x9+9⁢x8⁢y+36⁢x7⁢y2+84⁢x6⁢y3+126⁢x5⁢y4+126⁢x4⁢y5+84⁢x3⁢y6+36⁢x2⁢y7+9⁢x⁢y8+y9+x10+10⁢x9⁢y+45⁢x8⁢y2+120⁢x7⁢y3+210⁢x6⁢y4+252⁢x5⁢y5+210⁢x4⁢y6+120⁢x3⁢y7+45⁢x2⁢y8+10⁢x⁢y9+y10+…
We define a univariate polynomial over power series. Its coefficients have very few terms precomputed, so Display doesn't show much.
f≔UnivariatePolynomialOverPowerSeries⁡SumOfAllMonomials⁡x,GeometricSeries⁡x,y,z:
Display⁡f
UnⅈvarⅈatⅇPolynomⅈalOvⅇrPowⅇrSⅇrⅈⅇs: 1+x+…+1+x+y+…⁢z
If we increase the precision (computing more terms), then Display will show more terms.
UpdatePrecision⁡f,10:
UnⅈvarⅈatⅇPolynomⅈalOvⅇrPowⅇrSⅇrⅈⅇs: 1+x+x2+x3+x4+x5+x6+x7+x8+x9+x10+…+1+x+y+x2+2⁢x⁢y+y2+x3+3⁢x2⁢y+3⁢x⁢y2+y3+x4+4⁢x3⁢y+6⁢x2⁢y2+4⁢x⁢y3+y4+x5+5⁢x4⁢y+10⁢x3⁢y2+10⁢x2⁢y3+5⁢x⁢y4+y5+x6+6⁢x5⁢y+15⁢x4⁢y2+20⁢x3⁢y3+15⁢x2⁢y4+6⁢x⁢y5+y6+x7+7⁢x6⁢y+21⁢x5⁢y2+35⁢x4⁢y3+35⁢x3⁢y4+21⁢x2⁢y5+7⁢x⁢y6+y7+x8+8⁢x7⁢y+28⁢x6⁢y2+…+…⁢z
The maxdegree option cuts the display off after displaying the constant coefficient of the main variable, z.
Display⁡f,maxdegree=0,precision=5
UnⅈvarⅈatⅇPolynomⅈalOvⅇrPowⅇrSⅇrⅈⅇs: 1+x+x2+x3+x4+x5+…+…
The SetDisplayStyle command makes future calls to Display use a given set of parameters.
SetDisplayStyle⁡f,maxterms=5
maxterms=5
UnⅈvarⅈatⅇPolynomⅈalOvⅇrPowⅇrSⅇrⅈⅇs: 1+x+x2+x3+x4+…+…
The MultivariatePowerSeries[Display] command was introduced in Maple 2021.
For more information on Maple 2021 changes, see Updates in Maple 2021.
See Also
GeometricSeries
HomogeneousPart
MainVariable
SetDefaultDisplayStyle
SetDisplayStyle
Truncate
Download Help Document