Processing math: 100%
CGAL 4.4 - Polynomial
All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Groups Pages
PolynomialTraits_d::PolynomialSubresultantsWithCofactors Concept Reference

Definition

Note: This functor is optional!

Computes the polynomial subresultant of two polynomials p and q of degree n and m, respectively, as defined in the documentation of PolynomialTraits_d::PolynomialSubresultants. Moreover, for Sresi(p,q), polynomials ui and vi with deguimi1 and degvini1 are computed such that Sresi(p,q)=uip+viq. ui and vi are called the cofactors of Sresi(p,q).

The result is written in three output ranges, each of length min{n,m}+1, starting with the 0-th subresultant and the corresponding cofactors.

Refines:

AdaptableBinaryFunction

CopyConstructible

DefaultConstructible

See Also
Polynomial_d
PolynomialTraits_d
PolynomialTraits_d::Resultant
PolynomialTraits_d::PolynomialSubresultants
PolynomialTraits_d::PrincipalSubresultants
PolynomialTraits_d::SturmHabichtSequenceWithCofactors

Operations

template<typename OutputIterator1 , typename OutputIterator2 , typename OutputIterator3 >
OutputIterator1 operator() (Polynomial_d p, Polynomial_d q, OutputIterator1 sres, OutputIterator2 co_p, OutputIterator3 co_q)
 computes the subresultants of p and q, and the cofactors, with respect to the outermost variable. More...
 
template<typename OutputIterator1 , typename OutputIterator2 , typename OutputIterator3 >
OutputIterator1 operator() (Polynomial_d p, Polynomial_d q, OutputIterator1 sres, OutputIterator2 co_p, OutputIterator3 co_q, int i)
 computes the subresultants of p and q, and the cofactors, with respect to xi. More...
 

Member Function Documentation

template<typename OutputIterator1 , typename OutputIterator2 , typename OutputIterator3 >
OutputIterator1 PolynomialTraits_d::PolynomialSubresultantsWithCofactors::operator() ( Polynomial_d  p,
Polynomial_d  q,
OutputIterator1  sres,
OutputIterator2  co_p,
OutputIterator3  co_q 
)

computes the subresultants of p and q, and the cofactors, with respect to the outermost variable.

Each element is of type PolynomialTraits_d::Polynomial_d.

template<typename OutputIterator1 , typename OutputIterator2 , typename OutputIterator3 >
OutputIterator1 PolynomialTraits_d::PolynomialSubresultantsWithCofactors::operator() ( Polynomial_d  p,
Polynomial_d  q,
OutputIterator1  sres,
OutputIterator2  co_p,
OutputIterator3  co_q,
int  i 
)

computes the subresultants of p and q, and the cofactors, with respect to xi.

Each element is of type PolynomialTraits_d::Polynomial_d.