Note: This functor is optional!
Computes the principal leading coefficients of the SturmHabicht sequence of a polynomials f of type PolynomialTraits_d::Polynomial_d with respect a certain variable x_{i}. This means that for the jth SturmHabicht polynomial, this methods returns the coefficient of x_{i}^{j}.
Note that the degree of the jth SturmHabicht polynomial is at most j, but the principal coefficient might be zero, thus, this functor does not necessarily give the leading coefficient of the SturmHabicht polynomials.
In case that PolynomialTraits_d::Coefficient_type is RealEmbeddable, the function CGAL::number_of_real_roots can be used on the resulting sequence to count the number of distinct real roots of the polynomial f.
 

 
computes the principal coefficients of the SturmHabicht sequence of f, with respect to the outermost variable. Each element is of type PolynomialTraits_d::Coefficient_type.  
 

 
computes the principal coefficients of the SturmHabicht sequence of f with respect to the variable x_{i}. 
Polynomial_d
PolynomialTraits_d
CGAL::number_of_real_roots
PolynomialTraits_d::Resultant
PolynomialTraits_d::SturmHabichtSequence
PolynomialTraits_d::PrincipalSubresultants