# 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 allclose all

## Basic Examples(2)

This gives the subresultant polynomial remainder sequence of two polynomials:

 In[1]:=
 Out[1]=

Subresultant polynomial remainder sequence of polynomials with symbolic coefficients:

 In[1]:=
 Out[1]=

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

 In[2]:=
 Out[2]=