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

Online Help

All Products    Maple    MapleSim


RegularChains

  

SparsePseudoRemainder

  

pseudo-remainder of a polynomial by a regular chain

 

Calling Sequence

Parameters

Description

Examples

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  such that  equals  modulo the ideal generate by rc where  is a product of the initials of rc. Moreover, the returned polynomial  is reduced with respect to rc.

• 

If out_h is provided then it is assigned .

• 

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

(1)

(2)

(3)

(4)

(5)

(6)

See Also

ChainTools

Construct

Empty

NormalForm

PolynomialRing

RegularChains

 


Download Help Document