|
A model of the AlgebraicKernel_d_1 concept is meant to provide the algebraic functionalities on univariate polynomials of general degree d.
A model of AlgebraicKernel_d_1 must provide:
| AlgebraicKernel_d_1::Coefficient | |
|
A model of IntegralDomain and RealEmbeddable. ExplicitInteroperable with AlgebraicKernel_d_1::Bound.
| |
| AlgebraicKernel_d_1::Polynomial_1 | |
|
A univariate polynomial that is a model of Polynomial_d,
where CGAL::Polynomial_traits_d<Polynomial_1>::Innermost_coefficient
is AlgebraicKernel_d_1::Coefficient.
| |
| AlgebraicKernel_d_1::Algebraic_real_1 | |
|
A type that is used to represent real roots of univariate polynomials.
The type must be a model of DefaultConstructible,
CopyConstructible, Assignable and RealEmbeddable.
| |
| AlgebraicKernel_d_1::Bound | |
|
A type to represent upper and lower bounds of AlgebraicKernel_d_1::Algebraic_real_1. The type is ExplicitInteroperable with AlgebraicKernel_d_1::Coefficient and must be a model IntegralDomain, RealEmbeddable and dense in ℝ.
| |
| AlgebraicKernel_d_1::size_type | |
|
Size type (unsigned integral type).
| |
| AlgebraicKernel_d_1::Multiplicity_type | |
|
Multiplicity type (unsigned integral type).
| |
| AlgebraicKernel_d_1::Construct_algebraic_real_1 | |
|
A model of AlgebraicKernel_d_1::ConstructAlgebraicReal_1.
| |
| AlgebraicKernel_d_1::Compute_polynomial_1 | |
|
A model of AlgebraicKernel_d_1::ComputePolynomial_1.
| |
| AlgebraicKernel_d_1::Isolate_1 | |
|
A model of AlgebraicKernel_d_1::Isolate_1.
| |
| AlgebraicKernel_d_1::Is_square_free_1 | |
|
A model of AlgebraicKernel_d_1::IsSquareFree_1.
| |
| AlgebraicKernel_d_1::Make_square_free_1 | |
|
A model of AlgebraicKernel_d_1::MakeSquareFree_1.
| |
| AlgebraicKernel_d_1::Square_free_factorize_1 | |
|
A model of AlgebraicKernel_d_1::SquareFreeFactorize_1.
| |
| AlgebraicKernel_d_1::Is_coprime_1 | |
|
A model of AlgebraicKernel_d_1::IsCoprime_1.
| |
| AlgebraicKernel_d_1::Make_coprime_1 | |
|
A model of AlgebraicKernel_d_1::MakeCoprime_1.
| |
| AlgebraicKernel_d_1::Solve_1 | |
|
A model of AlgebraicKernel_d_1::Solve_1.
| |
| AlgebraicKernel_d_1::Number_of_solutions_1 | |
|
A model of AlgebraicKernel_d_1::NumberOfSolutions_1.
| |
| AlgebraicKernel_d_1::Sign_at_1 | |
|
A model of AlgebraicKernel_d_1::SignAt_1.
| |
| AlgebraicKernel_d_1::Compare_1 | |
|
A model of AlgebraicKernel_d_1::Compare_1.
| |
| AlgebraicKernel_d_1::Bound_between_1 | |
|
A model of AlgebraicKernel_d_1::BoundBetween_1.
| |
| AlgebraicKernel_d_1::Approximate_absolute_1 | |
|
A model of AlgebraicKernel_d_1::ApproximateAbsolute_1.
| |
| AlgebraicKernel_d_1::Approximate_relative_1 | |
|
A model of AlgebraicKernel_d_1::ApproximateRelative_1.
| |
For each of the function objects above, there must exist a member function that requires no arguments and returns an instance of that function object. The name of the member function is the uncapitalized name of the type returned with the suffix _object appended. For example, for the function object AlgebraicKernel_d_1::Bound_between_1 the following member function must exist:
| AlgebraicKernel_d_1::Bound_between_1 | ||
| ak_1.bound_between_1_object () const | ||