MultivariatePowerSeries
UnivariatePolynomialOverPowerSeries
Create a univariate polynomial over power series
Calling Sequence
Parameters
Description
Examples
Compatibility
UnivariatePolynomialOverPowerSeries(lp,v)
UnivariatePolynomialOverPowerSeries(p,v)
UnivariatePolynomialOverPowerSeries(ps, v)
UnivariatePolynomialOverPowerSeries(u)
UnivariatePolynomialOverPowerSeries(u, v)
lp
-
list, Array, or Vector of power series generated by this package
v
variable
p
polynomial
ps
power series generated by this package
u
univariate polynomial over power series generated by this package
The function call UnivariatePolynomialOverPowerSeries(lp,v) creates a univariate polynomial over power series with main variable v and with coefficients that are power series from lp. The degree of the resulting polynomial is equal to the length of lp minus one. The coefficient of v^(i-1) is the i-th element of lp. In particular, the first element of lp is the constant coefficient. The main variable, v, cannot occur in any of the power series in lp.
The function call UnivariatePolynomialOverPowerSeries(p,v) creates a univariate polynomial with power series coefficients. It returns the same result as UnivariatePolynomialOverPowerSeries(lp,v) where lp := [seq(PowerSeries(coeff(p,v,i)),i=0..degree(p,v))].
The function call UnivariatePolynomialOverPowerSeries(ps, v) creates a univariate polynomial over power series representing ps, with v as its main variable. This is only possible if ps is known to be a polynomial function of v, which is the case if it is independent of v (in which case it is trivially polynomial) or if the analytic expression for ps is known and it is polynomial in v. If neither of the former two cases is true, then an error is raised.
The function call UnivariatePolynomialOverPowerSeries(u, v) copies u. You may omit v in this case, but if you specify it, it must be equal to the main variable of u.
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:
Create a univariate polynomial over power series from a list of power series.
f≔UnivariatePolynomialOverPowerSeries⁡PowerSeries⁡1,PowerSeries⁡0,PowerSeries⁡x,PowerSeries⁡y,1PowerSeries⁡1+x+y,z
f≔UnⅈvarⅈatⅇPolynomⅈalOvⅇrPowⅇrSⅇrⅈⅇs: 1+0⁢z+x⁢z2+y⁢z3+1+…⁢z4
Degree⁡f
4
seq⁡GetCoefficient⁡f,i,i=0..4
PowⅇrSⅇrⅈⅇs: 1,PowⅇrSⅇrⅈⅇs: 0,PowⅇrSⅇrⅈⅇs: x,PowⅇrSⅇrⅈⅇs: y,PowⅇrSⅇrⅈⅇs of 11+x+y : 1+…
We compute its linear and quadratic truncation. These are defined in terms of the homogeneous degree of the coefficients, ignoring the degree in the main variable.
Truncate⁡f,1
1+1−x−y⁢z4+y⁢z3+x⁢z2
Truncate⁡f,2
1+x2+2⁢x⁢y+y2−x−y+1⁢z4+y⁢z3+x⁢z2
Create a univariate polynomial over power series from a polynomial
p≔z−1⁢z−2⁢z−3+x⁢z2+z
UnivariatePolynomialOverPowerSeries⁡p,z
UnⅈvarⅈatⅇPolynomⅈalOvⅇrPowⅇrSⅇrⅈⅇs: −6+11+x⁢z+−6+x⁢z2+1⁢z3
The following attempt will not work, because Maple cannot determine that d is polynomial in z (though actually it is).
d≔PowerSeries⁡d↦ifelse⁡d=0,0,z⋅xd−1d−1!,variables=x,z
d≔PowⅇrSⅇrⅈⅇs: 0+…
UnivariatePolynomialOverPowerSeries⁡d,z
Error, (in MultivariatePowerSeries:-UnivariatePolynomialOverPowerSeries) attempted to convert a power series involving z to a univariate polynomial over power series in z, but it is not known to be polynomial in z
We define e in the same way as d but specify the analytic expression. Then we can successfully convert it to a univariate polynomial over power series.
e≔PowerSeries⁡d↦ifelse⁡d=0,0,z⋅xd−1d−1!,analytic=z⁢exp⁡x
e≔PowⅇrSⅇrⅈⅇs of z⁢ⅇx : 0+…
k≔UnivariatePolynomialOverPowerSeries⁡e,z
k≔UnⅈvarⅈatⅇPolynomⅈalOvⅇrPowⅇrSⅇrⅈⅇs: 0+1+…⁢z
To copy k, we can specify the main variable explicitly or omit it. If we specify it explicitly, it has to be z, otherwise we obtain an error:
k1≔UnivariatePolynomialOverPowerSeries⁡k,x
Error, (in MultivariatePowerSeries:-UnivariatePolynomialOverPowerSeries) you specified x as the main variable, but the main variable of the first argument is z
k1≔UnivariatePolynomialOverPowerSeries⁡k,z
k1≔UnⅈvarⅈatⅇPolynomⅈalOvⅇrPowⅇrSⅇrⅈⅇs: 0+1+…⁢z
k2≔UnivariatePolynomialOverPowerSeries⁡k
k2≔UnⅈvarⅈatⅇPolynomⅈalOvⅇrPowⅇrSⅇrⅈⅇs: 0+1+…⁢z
The MultivariatePowerSeries[UnivariatePolynomialOverPowerSeries] command was introduced in Maple 2021.
For more information on Maple 2021 changes, see Updates in Maple 2021.
See Also
ApproximatelyEqual
Degree
Inverse
PowerSeries
Truncate
Download Help Document
What kind of issue would you like to report? (Optional)