evaluate the coefficients of a univariate polynomial over power series at the origin
univariate polynomial over power series generated by this package
The command EvaluateAtOrigin(u) returns the image of the univariate polynomial u modulo the maximal ideal of the ring of power series of the coefficients of u. In other words, the command EvaluateAtOrigin(u) returns a univariate polynomial (over the complex numbers) obtained from u by specializing to zero every variable in the coefficients of u.
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.
We define a univariate polynomial over power series and evaluate it at the origin (in this case, at x=0).
f ≔ UnivariatePolynomialOverPowerSeries⁡z−1⁢z−2⁢z−3+x⁢z2+z,z:
We define another univariate polynomial over power series and evaluate it at the origin (in this case, at x=0 and y=0).
g ≔ UnivariatePolynomialOverPowerSeries⁡y2+x2+y+1⁢z2+z3,z:
The MultivariatePowerSeries[EvaluateAtOrigin] command was introduced in Maple 2021.
For more information on Maple 2021 changes, see Updates in Maple 2021.
Download Help Document