Concept

AlgebraicKernel_d_1

Definition

A model of the AlgebraicKernel_d_1 concept is meant to provide the algebraic functionalities on univariate polynomials of general degree d.

Refines

CopyConstructible
Assignable

A model of AlgebraicKernel_d_1 must provide:

Types

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).

Functors

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.

Operations

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

Has Models

Algebraic_kernel_rs_gmpz_d_1
Algebraic_kernel_rs_gmpq_d_1

See Also

AlgebraicKernel_d_2