SetNonzeroPowerSeriesDegreeBound - Maple Help
For the best experience, we recommend viewing online help using Google Chrome or Microsoft Edge.

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : Power Series : Multivariate Power Series : SetNonzeroPowerSeriesDegreeBound

MultivariatePowerSeries

  

SetNonzeroPowerSeriesDegreeBound

  

set a nonzero_pso_bound for a Puiseux series

  

SetSmallestTermDegreeBound

  

set a smallest_term_bound for a Puiseux series

 

Calling Sequence

Parameters

Description

Examples

References

Compatibility

Calling Sequence

SetNonzeroPowerSeriesDegreeBound(bound, s)

SetNonzeroPowerSeriesDegreeBound(bound)

SetSmallestTermDegreeBound(bound, s)

SetSmallestTermDegreeBound(bound)

Parameters

bound

-

a non-negative integer

s

-

(optional) Puiseux series generated by this package

Description

• 

These commands set two parameters in a Puiseux series object. The parameters, called the nonzero_pso_bound for SetNonzeroPowerSeriesDegreeBound and smallest_term_bound for SetSmallestTermDegreeBound, are used in computing multiplicative inverses. The function of the parameters is explained on the Inverse help page.

• 

Using the first or third calling sequence, we set the nonzero_pso_bound or smallest_term_bound, respectively, equal to bound for the given object s. This is used when computing the inverse of s (unless overridden in the Inverse command itself).

• 

Using the second or fourth calling sequence, we set the global default value for nonzero_pso_bound or smallest_term_bound, respectively. This value is used when computing the inverse of a Puiseux series object for which that parameter has not been set using the first or third calling sequence (unless overridden in the Inverse command itself). Initially, the default value for both parameters is 10.

• 

All calling sequences return the previously stored value for the given parameter.

• 

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.

Examples

withMultivariatePowerSeries:

Create two Puiseux series.

pPowerSeriesd→piecewised=0,1,d=1,u+v,0,variables=u,v

pPowⅇrSⅇrⅈⅇs: 1+

(1)

Xx,y;Uu,v

Xx,y

Uu,v

(2)

R11,0,1,1;R22,2,2,2

R11,0,1,−1

R22,2,2,−2

(3)

E1x=5,y=3;E2x=12,y=8

E1x=−5,y=3

E2x=12,y=8

(4)

sPuiseuxSeriesp,X,U,R1,E1

sPuⅈsⅇuxSⅇrⅈⅇs: y3x5+

(5)

tPuiseuxSeriesp,X,U,R2,E2

tPuⅈsⅇuxSⅇrⅈⅇs: x12y8+

(6)

We set a new nonzero_pso_bound for s.

SetNonzeroPowerSeriesDegreeBound15,s

undefined

(7)

We can also set a global nonzero_pso_bound for all Puiseux series.

SetNonzeroPowerSeriesDegreeBound17

10

(8)

We set the smallest_term_bound for t to 5.

SetSmallestTermDegreeBound5,t

undefined

(9)

We haven't modified the global default value for smallest_term_bound from its initial value of 10. Now computing the inverse of s will use 15 for the nonzero_pso_bound and 10 for the smallest_term_bound, and computing the inverse of t will use 17 for the nonzero_pso_bound and 5 for the smallest_term_bound.

Inverses

PuⅈsⅇuxSⅇrⅈⅇs: x5y3+

(10)

Inverset

PuⅈsⅇuxSⅇrⅈⅇs: 1x12y8+

(11)

References

  

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

Compatibility

• 

The MultivariatePowerSeries[SetNonzeroPowerSeriesDegreeBound] and MultivariatePowerSeries[SetSmallestTermDegreeBound] commands were introduced in Maple 2023.

• 

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

See Also

Inverse

MultivariatePowerSeries

PuiseuxSeries