PolynomialTraits_d::SturmHabichtSequenceWithCofactors

Note: This functor is optional!

Definition

Computes the Sturm-Habicht polynomials of a polynomial f of degree n, as defined in the documentation of PolynomialTraits_d::SturmHabichtSequence. Moreover, for Sthai(f), polynomials ui and vi with deg ui n-i-2 and deg vi n-i-1 are computed such that Sresi(p,q)=ui f + vi f'. ui and vi are called the cofactors of Sthai(f).

The result is written in three output ranges, each of length min {n,m}+1, starting with the 0-th Sturm-Habicht polynomial Stha0(f) and the corresponding cofactors.

Operations

template<typename OutputIterator1, typename OutputIterator2, typename OutputIterator3>
OutputIterator1 fo ( Polynomial_d f , OutputIterator1 stha , OutputIterator2 co_f , OutputIterator3 co_fx )
computes the Sturm-Habicht sequence of f, 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 fo ( Polynomial_d f , OutputIterator1 stha , OutputIterator2 co_f , OutputIterator3 co_fx , int i )
computes the Sturm-Habicht sequence of f, and the cofactors, with respect to xi. Each element is of type PolynomialTraits_d::Polynomial_d.

See Also

Polynomial_d
PolynomialTraits_d
PolynomialTraits_d::Resultant
PolynomialTraits_d::SturmHabichtSequence
PolynomialTraits_d::PrincipalSturmHabichtSequence
PolynomialTraits_d::PolynomialSubresultantsWithCofactors