# SubresultantPolynomialRemainders

SubresultantPolynomialRemainders[poly1,poly2,var]

gives the subresultant polynomial remainder sequence of the polynomials poly1 and poly2 with respect to the variable var.

SubresultantPolynomialRemainders[poly1,poly2,var,Modulusp]

computes the subresultant polynomial remainder sequence modulo the prime p.

# 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.

# Examples

open all close all

## Basic Examples(2)

This gives the subresultant polynomial remainder sequence of two polynomials:

 In:= Out= Subresultant polynomial remainder sequence of polynomials with symbolic coefficients:

 In:= Out= The last element differs from the GCD of the polynomials by a factor independent of :

 In:= Out= ## Possible Issues(1)

Introduced in 2012
(9.0)