This package computes the subresultants of two polynomials which is needed for the `Lazard Rioboo’ enhancement to Tragers integrations formula. For efficiency reasons this has been rewritten to call Lionel Ducos package which is currently the best one.
- primitivePart: (UP, R) -> UP if R has EuclideanDomain
primitivePart(p, q)reduces the coefficient of
q, takes the primitive part of the result, and ensures that the leading coefficient of that result is monic.
- subresultantVector: (UP, UP) -> PrimitiveArray UP
[p0, ..., pn]where
i-th subresultant of
q. In particular,
p0 = resultant(p, q).