RegularChains
SparsePseudoRemainder
pseudo-remainder of a polynomial by a regular chain
Calling Sequence
Parameters
Description
Examples
SparsePseudoRemainder(p, rc, R)
SparsePseudoRemainder(p, rc, R, out_h)
R
-
polynomial ring
rc
regular chain of R
p
polynomial of R
out_h
polynomial of R (optional)
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](..).
See Also
ChainTools
Construct
Empty
NormalForm
PolynomialRing
Download Help Document