This command sets a parameter in a univariate polynomial over power series or over Puiseux series. The parameter is used in computing the Puiseux factorization. Its function is described on the PuiseuxFactorize help page; it involves a call to the GetOrder command.

Using the first calling sequence, we set the bound for the given object u. This is used when computing the Puiseux factorization of u (unless overridden in the PuiseuxFactorize command itself).

Using the second calling sequence, we set the global default value for the bound. This value is used when computing the Puiseux factorization of a univariate polynomial over power series or over Puiseux series for which the bound has not been set using the first calling sequence (unless overridden in the PuiseuxFactorize command itself). Initially, the default value for the bound is 10.

Both calling sequences return the previously stored value for the bound, either in u (for the first calling sequence) or the default (for the second).

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.

$\mathrm{with}\left(\mathrm{MultivariatePowerSeries}\right)\:$

$u≔\mathrm{UnivariatePolynomialOverPuiseuxSeries}\left(\left[\mathrm{PuiseuxSeries}\left(1\right)\,\mathrm{PuiseuxSeries}\left(0\right)\,\mathrm{PuiseuxSeries}\left(x\,\left[x=x^{\frac{1}{3}}\right]\right)\,\mathrm{PuiseuxSeries}\left(x\,\left[x=x^{\frac{1}{2}}\right]\right)\,\mathrm{PuiseuxSeries}\left(\frac{x}{1+x}\right)\right]\,z\right)$

$u≔\left[\mathrm{Univariat\ⅇPolynomialOv\ⅇrPuis\ⅇuxS\ⅇri\ⅇs:}\left(1\right)\mathrm{+}\left(0\right)z\mathrm{+}\left(x^{\raisebox{1ex}{$1$}\!\left/ \!\raisebox{-1ex}{$3$}\right.}\right)z^2\mathrm{+}\left(\sqrt{x}\right)z^3\mathrm{+}\left(0+\mathrm{\dots }\right)z^4\right]$

$\mathrm{PuiseuxFactorize}\left(u\right)$

Error, (in MultivariatePowerSeries:-PuiseuxFactorize) the order of Object(MultivariatePowerSeries:-PuiseuxSeriesObject,Object(MultivariatePowerSeries:-PowerSeriesObject,Array(0..10, [0,0,0,0,0,0,0,0,0,0,0]),10,MultivariatePowerSeries:-PowerSeriesObject:-add_gen,{x},ancestors),[x],[x],[[1/6]],[x = -4]) cannot be determined with the current bound 10

$\mathrm{SetPuiseuxBound}\left(17\right)$

$10$

$\mathrm{PuiseuxFactorize}\left(u\right)$

$\left[\left[\mathrm{Univariat\ⅇPolynomialOv\ⅇrPuis\ⅇuxS\ⅇri\ⅇs:}\left(1\right)\right]\,\left[\mathrm{Univariat\ⅇPolynomialOv\ⅇrPuis\ⅇuxS\ⅇri\ⅇs:}\left(\frac{1}{x^2}\right)\right]\,\left[\mathrm{Univariat\ⅇPolynomialOv\ⅇrPuis\ⅇuxS\ⅇri\ⅇs:}\left(0+\mathrm{\dots }\right)\mathrm{+}\left(\sqrt{x}\right)z\right]\,\left[\mathrm{Univariat\ⅇPolynomialOv\ⅇrPuis\ⅇuxS\ⅇri\ⅇs:}\left(0+\mathrm{\dots }\right)\mathrm{+}\left(0+\mathrm{\dots }\right)z\mathrm{+}\left(0+\mathrm{\dots }\right)z^2\mathrm{+}\left(x^{\raisebox{1ex}{$3$}\!\left/ \!\raisebox{-1ex}{$2$}\right.}\right)z^3\right]\right]$

$\mathrm{SetPuiseuxBound}\left(15\,u\right)$

$\mathrm{undefined}$

$\mathrm{PuiseuxFactorize}\left(u\right)$

$\left[\left[\mathrm{Univariat\ⅇPolynomialOv\ⅇrPuis\ⅇuxS\ⅇri\ⅇs:}\left(1\right)\right]\,\left[\mathrm{Univariat\ⅇPolynomialOv\ⅇrPuis\ⅇuxS\ⅇri\ⅇs:}\left(\frac{1}{x^2}\right)\right]\,\left[\mathrm{Univariat\ⅇPolynomialOv\ⅇrPuis\ⅇuxS\ⅇri\ⅇs:}\left(0+\mathrm{\dots }\right)\mathrm{+}\left(\sqrt{x}\right)z\right]\,\left[\mathrm{Univariat\ⅇPolynomialOv\ⅇrPuis\ⅇuxS\ⅇri\ⅇs:}\left(0+\mathrm{\dots }\right)\mathrm{+}\left(0+\mathrm{\dots }\right)z\mathrm{+}\left(0+\mathrm{\dots }\right)z^2\mathrm{+}\left(x^{\raisebox{1ex}{$3$}\!\left/ \!\raisebox{-1ex}{$2$}\right.}\right)z^3\right]\right]$

$\mathrm{PuiseuxFactorize}\left(u\,8\right)$

Error, (in MultivariatePowerSeries:-PuiseuxFactorize) the order of Object(MultivariatePowerSeries:-PuiseuxSeriesObject,Object(MultivariatePowerSeries:-PowerSeriesObject,Array(0..8, [0,0,0,0,0,0,0,0,0]),8,MultivariatePowerSeries:-PowerSeriesObject:-add_gen,{x},ancestors),[x],[x],[[1/6]],[x = -4]) cannot be determined with the current bound 8

Monforte, A.A., & Kauers, M. "Formal Laurent series in several variables." Expositiones Mathematicae. Vol. 31 No. 4 (2013): 350-367.

The MultivariatePowerSeries[SetPuiseuxBound] command was introduced in Maple 2023.

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