pseudo-remainder of a polynomial by a regular chain - Maple Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : Factorization and Solving Equations : RegularChains : RegularChains/SparsePseudoRemainder

RegularChains[SparsePseudoRemainder] - pseudo-remainder of a polynomial by a regular chain

Calling Sequence

SparsePseudoRemainder(p, rc, R)

SparsePseudoRemainder(p, rc, R, out_h)

Parameters

R

-

polynomial ring

rc

-

regular chain of R

p

-

polynomial of R

out_h

-

polynomial of R (optional)

Description

• 

The function call SparsePseudoRemainder(p, rc, R, out_h) returns a polynomial r such that hp equals r modulo the ideal generate by rc where h is a product of the initials of rc. Moreover, the returned polynomial r is reduced with respect to rc.

• 

If out_h is provided then it is assigned h.

• 

It is assumed that pseudo-division of p by the successive polynomials of rc sorted by decreasing order of main variable.

• 

This command is part of the RegularChains package, so it can be used in the form SparsePseudoRemainder(..) only after executing the command with(RegularChains).  However, it can always be accessed through the long form of the command by using RegularChains[SparsePseudoRemainder](..).

Examples

withRegularChains:withChainTools:

R:=PolynomialRingx,y,z

R:=polynomial_ring

(1)

rc:=Constructz2+1,EmptyR,R1

rc:=regular_chain

(2)

p:=z3

p:=z3

(3)

SparsePseudoRemainderp,rc,R

z

(4)

rc:=Constructzy2+1,rc,R1

rc:=regular_chain

(5)

SparsePseudoRemaindery2+1,rc,R

z1

(6)

See Also

ChainTools, Construct, Empty, NormalForm, PolynomialRing, RegularChains


Download Help Document

Was this information helpful?



Please add your Comment (Optional)
E-mail Address (Optional)
What is ? This question helps us to combat spam