SPAR/AIModule/BWTA/vendors/CGAL/CGAL/Polynomial_traits_d.h File Reference

#include <CGAL/basic.h>
#include <functional>
#include <list>
#include <vector>
#include <utility>
#include <CGAL/Polynomial/fwd.h>
#include <CGAL/Polynomial/misc.h>
#include <CGAL/Polynomial/Polynomial_type.h>
#include <CGAL/polynomial_utils.h>
#include <CGAL/Polynomial/square_free_factorize.h>
#include <CGAL/Polynomial/modular_filter.h>
#include <CGAL/extended_euclidean_algorithm.h>
#include <CGAL/Polynomial/resultant.h>
#include <CGAL/Polynomial/subresultants.h>
#include <CGAL/Polynomial/sturm_habicht_sequence.h>

Include dependency graph for Polynomial_traits_d.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	CGALi::Polynomial_traits_d_base_icoeff_algebraic_category< Coefficient_type_, ICoeffAlgebraicCategory >
class	CGALi::Polynomial_traits_d_base_icoeff_algebraic_category< Polynomial< Coefficient_type_ >, Integral_domain_without_division_tag >
class	CGALi::Polynomial_traits_d_base_icoeff_algebraic_category< Polynomial< Coefficient_type_ >, Integral_domain_tag >
class	CGALi::Polynomial_traits_d_base_icoeff_algebraic_category< Polynomial< Coefficient_type_ >, Unique_factorization_domain_tag >
struct	CGALi::Polynomial_traits_d_base_icoeff_algebraic_category< Polynomial< Coefficient_type_ >, Unique_factorization_domain_tag >::Multivariate_content
class	CGALi::Polynomial_traits_d_base_icoeff_algebraic_category< Polynomial< Coefficient_type_ >, Euclidean_ring_tag >
class	CGALi::Polynomial_traits_d_base_icoeff_algebraic_category< Polynomial< Coefficient_type_ >, Field_tag >
struct	CGALi::Polynomial_traits_d_base_icoeff_algebraic_category< Polynomial< Coefficient_type_ >, Field_tag >::Multivariate_content
class	CGALi::Polynomial_traits_d_base_icoeff_algebraic_category< Polynomial< Coefficient_type_ >, Field_with_sqrt_tag >
class	CGALi::Polynomial_traits_d_base_icoeff_algebraic_category< Polynomial< Coefficient_type_ >, Field_with_kth_root_tag >
class	CGALi::Polynomial_traits_d_base_icoeff_algebraic_category< Polynomial< Coefficient_type_ >, Field_with_root_of_tag >
class	CGALi::Polynomial_traits_d_base_polynomial_algebraic_category< Coefficient_type_, PolynomialAlgebraicCategory >
class	CGALi::Polynomial_traits_d_base_polynomial_algebraic_category< Polynomial< Coefficient_type_ >, Integral_domain_without_division_tag >
class	CGALi::Polynomial_traits_d_base_polynomial_algebraic_category< Polynomial< Coefficient_type_ >, Integral_domain_tag >
class	CGALi::Polynomial_traits_d_base_polynomial_algebraic_category< Polynomial< Coefficient_type_ >, Unique_factorization_domain_tag >
struct	CGALi::Polynomial_traits_d_base_polynomial_algebraic_category< Polynomial< Coefficient_type_ >, Unique_factorization_domain_tag >::Univariate_content
struct	CGALi::Polynomial_traits_d_base_polynomial_algebraic_category< Polynomial< Coefficient_type_ >, Unique_factorization_domain_tag >::Square_free_factorize
class	CGALi::Polynomial_traits_d_base_polynomial_algebraic_category< Polynomial< Coefficient_type_ >, Euclidean_ring_tag >
class	CGALi::Polynomial_traits_d_base< InnermostCoefficient_type, ICoeffAlgebraicCategory, PolynomialAlgebraicCategory >
struct	CGALi::Polynomial_traits_d_base< InnermostCoefficient_type, ICoeffAlgebraicCategory, PolynomialAlgebraicCategory >::Degree
struct	CGALi::Polynomial_traits_d_base< InnermostCoefficient_type, ICoeffAlgebraicCategory, PolynomialAlgebraicCategory >::Total_degree
struct	CGALi::Polynomial_traits_d_base< InnermostCoefficient_type, ICoeffAlgebraicCategory, PolynomialAlgebraicCategory >::Is_square_free
struct	CGALi::Polynomial_traits_d_base< InnermostCoefficient_type, ICoeffAlgebraicCategory, PolynomialAlgebraicCategory >::Make_square_free
struct	CGALi::Polynomial_traits_d_base< InnermostCoefficient_type, ICoeffAlgebraicCategory, PolynomialAlgebraicCategory >::Gcd_up_to_constant_factor
struct	CGALi::Polynomial_traits_d_base< InnermostCoefficient_type, ICoeffAlgebraicCategory, PolynomialAlgebraicCategory >::Univariate_content_up_to_constant_factor
struct	CGALi::Polynomial_traits_d_base< InnermostCoefficient_type, ICoeffAlgebraicCategory, PolynomialAlgebraicCategory >::Innermost_leading_coefficient
struct	CGALi::Polynomial_traits_d_base< InnermostCoefficient_type, ICoeffAlgebraicCategory, PolynomialAlgebraicCategory >::Degree_vector
struct	CGALi::Polynomial_traits_d_base< InnermostCoefficient_type, ICoeffAlgebraicCategory, PolynomialAlgebraicCategory >::Get_innermost_coefficient
struct	CGALi::Polynomial_traits_d_base< InnermostCoefficient_type, ICoeffAlgebraicCategory, PolynomialAlgebraicCategory >::Substitute
struct	CGALi::Polynomial_traits_d_base< InnermostCoefficient_type, ICoeffAlgebraicCategory, PolynomialAlgebraicCategory >::Substitute_homogeneous
class	CGALi::Polynomial_traits_d_base< Polynomial< Coefficient_type_ >, ICoeffAlgebraicCategory, PolynomialAlgebraicCategory >
struct	CGALi::Polynomial_traits_d_base< Polynomial< Coefficient_type_ >, ICoeffAlgebraicCategory, PolynomialAlgebraicCategory >::Compare_exponents_coeff_pair
struct	CGALi::Polynomial_traits_d_base< Polynomial< Coefficient_type_ >, ICoeffAlgebraicCategory, PolynomialAlgebraicCategory >::Construct_polynomial
class	CGALi::Polynomial_traits_d_base< Polynomial< Coefficient_type_ >, ICoeffAlgebraicCategory, PolynomialAlgebraicCategory >::Construct_polynomial::Create_polynomial_from_monom_rep< T >
class	CGALi::Polynomial_traits_d_base< Polynomial< Coefficient_type_ >, ICoeffAlgebraicCategory, PolynomialAlgebraicCategory >::Construct_polynomial::Create_polynomial_from_monom_rep< Polynomial< T > >
struct	CGALi::Polynomial_traits_d_base< Polynomial< Coefficient_type_ >, ICoeffAlgebraicCategory, PolynomialAlgebraicCategory >::Get_coefficient
struct	CGALi::Polynomial_traits_d_base< Polynomial< Coefficient_type_ >, ICoeffAlgebraicCategory, PolynomialAlgebraicCategory >::Get_innermost_coefficient
struct	CGALi::Polynomial_traits_d_base< Polynomial< Coefficient_type_ >, ICoeffAlgebraicCategory, PolynomialAlgebraicCategory >::Swap
struct	CGALi::Polynomial_traits_d_base< Polynomial< Coefficient_type_ >, ICoeffAlgebraicCategory, PolynomialAlgebraicCategory >::Move
struct	CGALi::Polynomial_traits_d_base< Polynomial< Coefficient_type_ >, ICoeffAlgebraicCategory, PolynomialAlgebraicCategory >::Permute
struct	CGALi::Polynomial_traits_d_base< Polynomial< Coefficient_type_ >, ICoeffAlgebraicCategory, PolynomialAlgebraicCategory >::Degree
struct	CGALi::Polynomial_traits_d_base< Polynomial< Coefficient_type_ >, ICoeffAlgebraicCategory, PolynomialAlgebraicCategory >::Total_degree
struct	CGALi::Polynomial_traits_d_base< Polynomial< Coefficient_type_ >, ICoeffAlgebraicCategory, PolynomialAlgebraicCategory >::Leading_coefficient
struct	CGALi::Polynomial_traits_d_base< Polynomial< Coefficient_type_ >, ICoeffAlgebraicCategory, PolynomialAlgebraicCategory >::Innermost_leading_coefficient
struct	CGALi::Polynomial_traits_d_base< Polynomial< Coefficient_type_ >, ICoeffAlgebraicCategory, PolynomialAlgebraicCategory >::Canonicalize
struct	CGALi::Polynomial_traits_d_base< Polynomial< Coefficient_type_ >, ICoeffAlgebraicCategory, PolynomialAlgebraicCategory >::Differentiate
struct	CGALi::Polynomial_traits_d_base< Polynomial< Coefficient_type_ >, ICoeffAlgebraicCategory, PolynomialAlgebraicCategory >::Evaluate
struct	CGALi::Polynomial_traits_d_base< Polynomial< Coefficient_type_ >, ICoeffAlgebraicCategory, PolynomialAlgebraicCategory >::Evaluate_homogeneous
struct	CGALi::Polynomial_traits_d_base< Polynomial< Coefficient_type_ >, ICoeffAlgebraicCategory, PolynomialAlgebraicCategory >::Is_zero_at
struct	CGALi::Polynomial_traits_d_base< Polynomial< Coefficient_type_ >, ICoeffAlgebraicCategory, PolynomialAlgebraicCategory >::Is_zero_at_homogeneous
struct	CGALi::Polynomial_traits_d_base< Polynomial< Coefficient_type_ >, ICoeffAlgebraicCategory, PolynomialAlgebraicCategory >::Sign_at_
struct	CGALi::Polynomial_traits_d_base< Polynomial< Coefficient_type_ >, ICoeffAlgebraicCategory, PolynomialAlgebraicCategory >::Sign_at_homogeneous_
struct	CGALi::Polynomial_traits_d_base< Polynomial< Coefficient_type_ >, ICoeffAlgebraicCategory, PolynomialAlgebraicCategory >::Construct_coefficient_const_iterator_range
struct	CGALi::Polynomial_traits_d_base< Polynomial< Coefficient_type_ >, ICoeffAlgebraicCategory, PolynomialAlgebraicCategory >::Construct_innermost_coefficient_const_iterator_range
struct	CGALi::Polynomial_traits_d_base< Polynomial< Coefficient_type_ >, ICoeffAlgebraicCategory, PolynomialAlgebraicCategory >::Is_square_free
struct	CGALi::Polynomial_traits_d_base< Polynomial< Coefficient_type_ >, ICoeffAlgebraicCategory, PolynomialAlgebraicCategory >::Make_square_free
struct	CGALi::Polynomial_traits_d_base< Polynomial< Coefficient_type_ >, ICoeffAlgebraicCategory, PolynomialAlgebraicCategory >::Pseudo_division
struct	CGALi::Polynomial_traits_d_base< Polynomial< Coefficient_type_ >, ICoeffAlgebraicCategory, PolynomialAlgebraicCategory >::Pseudo_division_quotient
struct	CGALi::Polynomial_traits_d_base< Polynomial< Coefficient_type_ >, ICoeffAlgebraicCategory, PolynomialAlgebraicCategory >::Pseudo_division_remainder
struct	CGALi::Polynomial_traits_d_base< Polynomial< Coefficient_type_ >, ICoeffAlgebraicCategory, PolynomialAlgebraicCategory >::Gcd_up_to_constant_factor
struct	CGALi::Polynomial_traits_d_base< Polynomial< Coefficient_type_ >, ICoeffAlgebraicCategory, PolynomialAlgebraicCategory >::Integral_division_up_to_constant_factor
struct	CGALi::Polynomial_traits_d_base< Polynomial< Coefficient_type_ >, ICoeffAlgebraicCategory, PolynomialAlgebraicCategory >::Univariate_content_up_to_constant_factor
struct	CGALi::Polynomial_traits_d_base< Polynomial< Coefficient_type_ >, ICoeffAlgebraicCategory, PolynomialAlgebraicCategory >::Square_free_factorize_up_to_constant_factor
struct	CGALi::Polynomial_traits_d_base< Polynomial< Coefficient_type_ >, ICoeffAlgebraicCategory, PolynomialAlgebraicCategory >::Shift
struct	CGALi::Polynomial_traits_d_base< Polynomial< Coefficient_type_ >, ICoeffAlgebraicCategory, PolynomialAlgebraicCategory >::Negate
struct	CGALi::Polynomial_traits_d_base< Polynomial< Coefficient_type_ >, ICoeffAlgebraicCategory, PolynomialAlgebraicCategory >::Invert
struct	CGALi::Polynomial_traits_d_base< Polynomial< Coefficient_type_ >, ICoeffAlgebraicCategory, PolynomialAlgebraicCategory >::Translate
struct	CGALi::Polynomial_traits_d_base< Polynomial< Coefficient_type_ >, ICoeffAlgebraicCategory, PolynomialAlgebraicCategory >::Translate_homogeneous
struct	CGALi::Polynomial_traits_d_base< Polynomial< Coefficient_type_ >, ICoeffAlgebraicCategory, PolynomialAlgebraicCategory >::Scale
struct	CGALi::Polynomial_traits_d_base< Polynomial< Coefficient_type_ >, ICoeffAlgebraicCategory, PolynomialAlgebraicCategory >::Scale_homogeneous
struct	CGALi::Polynomial_traits_d_base< Polynomial< Coefficient_type_ >, ICoeffAlgebraicCategory, PolynomialAlgebraicCategory >::Resultant
struct	CGALi::Polynomial_traits_d_base< Polynomial< Coefficient_type_ >, ICoeffAlgebraicCategory, PolynomialAlgebraicCategory >::Polynomial_subresultants
struct	CGALi::Polynomial_traits_d_base< Polynomial< Coefficient_type_ >, ICoeffAlgebraicCategory, PolynomialAlgebraicCategory >::Principal_subresultants
struct	CGALi::Polynomial_traits_d_base< Polynomial< Coefficient_type_ >, ICoeffAlgebraicCategory, PolynomialAlgebraicCategory >::Polynomial_subresultants_with_cofactors
struct	CGALi::Polynomial_traits_d_base< Polynomial< Coefficient_type_ >, ICoeffAlgebraicCategory, PolynomialAlgebraicCategory >::Sturm_habicht_sequence
struct	CGALi::Polynomial_traits_d_base< Polynomial< Coefficient_type_ >, ICoeffAlgebraicCategory, PolynomialAlgebraicCategory >::Sturm_habicht_sequence_with_cofactors
struct	CGALi::Polynomial_traits_d_base< Polynomial< Coefficient_type_ >, ICoeffAlgebraicCategory, PolynomialAlgebraicCategory >::Principal_sturm_habicht_sequence
struct	CGALi::Polynomial_traits_d_base< Polynomial< Coefficient_type_ >, ICoeffAlgebraicCategory, PolynomialAlgebraicCategory >::Monomial_representation
struct	CGALi::Polynomial_traits_d_base< Polynomial< Coefficient_type_ >, ICoeffAlgebraicCategory, PolynomialAlgebraicCategory >::Degree_vector
struct	CGALi::Polynomial_traits_d_base< Polynomial< Coefficient_type_ >, ICoeffAlgebraicCategory, PolynomialAlgebraicCategory >::Substitute
struct	CGALi::Polynomial_traits_d_base< Polynomial< Coefficient_type_ >, ICoeffAlgebraicCategory, PolynomialAlgebraicCategory >::Substitute_homogeneous
struct	CGALi::Polynomial_traits_d_base< Polynomial< Coefficient_type_ >, ICoeffAlgebraicCategory, PolynomialAlgebraicCategory >::Substitute_homogeneous::Result_type< Input_iterator >
class	Polynomial_traits_d< Polynomial >
struct	Polynomial_traits_d< Polynomial >::Gen_polynomial_type< T, d >
struct	Polynomial_traits_d< Polynomial >::Gen_polynomial_type< T, 0 >
struct	Polynomial_traits_d< Polynomial >::Rebind< T, d >
Namespaces
namespace	CGALi
Defines
#define	CGAL_POLYNOMIAL_TRAITS_D_BASE_TYPEDEFS
#define	ICOEFF   typename First_if_different<Innermost_coefficient_type, Coefficient_type>::Type
#define	ICOEFF   typename First_if_different<Innermost_coefficient_type, Coefficient_type>::Type
Variables
	CGAL_BEGIN_NAMESPACE

---

Define Documentation

#define CGAL_POLYNOMIAL_TRAITS_D_BASE_TYPEDEFS

#define ICOEFF   typename First_if_different<Innermost_coefficient_type, Coefficient_type>::Type

#define ICOEFF   typename First_if_different<Innermost_coefficient_type, Coefficient_type>::Type

---

Variable Documentation

CGAL_BEGIN_NAMESPACE