SubresultantPolynomials

SubresultantPolynomials[poly1,poly2,var]

generates a list of subresultant polynomials of the polynomials poly1 and poly2 with respect to the variable var.

SubresultantPolynomials[poly1,poly2,var,Modulusp]

computes the subresultant polynomials modulo the prime p.

Details and Options

Examples

open allclose all

Basic Examples  (2)

This gives the list of subresultant polynomials of two univariate polynomials:

The list of subresultant polynomials of polynomials with symbolic coefficients:

The first element is equal to Resultant of the input polynomials:

Scope  (2)

Polynomials with integer coefficients:

Polynomials with symbolic coefficients:

Options  (3)

Modulus  (3)

By default, the subresultant polynomials are computed over the rational numbers:

Compute the subresultant polynomials of the same polynomials over the integers modulo 2:

Compute the subresultant polynomials of the same polynomials over the integers modulo 5:

Properties & Relations  (2)

The degree of the ^(th) subresultant polynomial is at most :

The coefficient of the ^(th) subresultant polynomial at is the ^(th) principal subresultant coefficient:

Subresultants computes the principal subresultant coefficients:

Coefficients of the subresultant polynomials are polynomials in the coefficients of the input:

Possible Issues  (1)

SubresultantPolynomials requires exact coefficients:

Introduced in 2012
 (9.0)