gives the subresultant polynomial remainder sequence of the polynomials poly1 and poly2 with respect to the variable var.
Details and Options
- SubresultantPolynomialRemainders is also known as subresultant polynomial remainder sequence or prs.
- SubresultantPolynomialRemainders gives a list of polynomials of decreasing degrees in var.
- Each polynomial in the list is a constant multiple of the PolynomialRemainder of the previous two polynomials, with poly1 and poly2 being the first two elements.
- The last polynomial in the resulting list is a constant multiple of the polynomial GCD of univariate polynomials poly1 and poly2 in the variable var.
Examplesopen allclose all
Basic Examples (2)
SubresultantPolynomialRemainders gives a list of polynomials of decreasing degrees:
Properties & Relations (3)
All elements of the subresultant prs are divisible by the PolynomialGCD of the input polynomials:
The elements from prs, except initial polynomials, are a subset of SubresultantPolynomials:
Possible Issues (1)
SubresultantPolynomialRemainders requires exact coefficients: