This AdaptableBinaryFunction computes the resultant of two polynomials f and g of type PolynomialTraits_d::Polynomial_d with respect to a certain variable.
Note that this functor operates on the polynomial in the univariate view, that is, the polynomial is considered as a univariate polynomial in one specific variable.
Let f and g be two univariate polynomials over some commutative ring A, where
f = fmxm + + f0 |
g = gnxn + + g0. |
Note that this is a (n+m) × (n+m) matrix as there are n rows for f and m rows that are used for g. The blank spaces are supposed to be filled with zeros.
f := fm |
| , αi ∈ L |
g := gn |
| , βi ∈ L, |
res(f,g) = fmn gnm |
| . |
There are various ways to compute the resultant. Naive options are the computation of the resultant as the determinant of the Sylvester Matrix or the Bezout Matrix as well as the so called subresultant algorithm, which is a variant of the Euclidean Algorithm. More sophisticated methods may use modular arithmetic and interpolation. For more information we refer to, e.g., [vzGG99].
typedef PolynomialTraits_d::Coefficient_type | ||
result_type; | ||
typedef PolynomialTraits_d::Polynomial_d | ||
first_argument_type; | ||
typedef PolynomialTraits_d::Polynomial_d | ||
second_argument_type; |
result_type | fo ( first_argument_type f , second_argument_type g ) | |
Computes the resultant of f and g, with respect to the outermost variable. |
Polynomial_d
PolynomialTraits_d
PolynomialTraits_d::UnivariateContent
PolynomialTraits_d::PolynomialSubresultants
PolynomialTraits_d::PrincipalSubresultants