Concept

AlgebraicKernel_d_2

Definition

A model of the AlgebraicKernel_d_2 concept gathers necessary tools for solving and handling bivariate polynomial systems of general degree d.

Refines

AlgebraicKernel_d_1
CopyConstructible
Assignable

Types

AlgebraicKernel_d_2::Polynomial_2
A bivariate polynomial that is a model of Polynomial_d, where CGAL::Polynomial_traits_d<Polynomial_2>::Innermost_coefficient is AlgebraicKernel_d_1::Coefficient.


AlgebraicKernel_d_2::Algebraic_real_2
A type that is used to represent real solutions of bivariate zero dimensional polynomial systems. A model of DefaultConstructible, CopyConstructible and Assignable.

Functors

AlgebraicKernel_d_2::Construct_algebraic_real_2
A model of AlgebraicKernel_d_2::ConstructAlgebraicReal_2.


AlgebraicKernel_d_2::Compute_polynomial_x_2
A model of AlgebraicKernel_d_2::ComputePolynomialX_2.


AlgebraicKernel_d_2::Compute_polynomial_y_2
A model of AlgebraicKernel_d_2::ComputePolynomialY_2.


AlgebraicKernel_d_2::Isolate_2
A model of AlgebraicKernel_d_2::Isolate_2.

AlgebraicKernel_d_2::Isolate_x_2
A model of AlgebraicKernel_d_2::IsolateX_2.

AlgebraicKernel_d_2::Isolate_y_2
A model of AlgebraicKernel_d_2::IsolateY_2.

AlgebraicKernel_d_2::Is_square_free_2
A model of AlgebraicKernel_d_2::IsSquareFree_2.

AlgebraicKernel_d_2::Make_square_free_2
A model of AlgebraicKernel_d_2::MakeSquareFree_2.

AlgebraicKernel_d_2::Square_free_factorize_2
A model of AlgebraicKernel_d_2::SquareFreeFactorize_2.

AlgebraicKernel_d_2::Is_coprime_2
A model of AlgebraicKernel_d_2::IsCoprime_2.

AlgebraicKernel_d_2::Make_coprime_2
A model of AlgebraicKernel_d_2::MakeCoprime_2.

AlgebraicKernel_d_2::Solve_2
A model of AlgebraicKernel_d_2::Solve_2.

AlgebraicKernel_d_2::Number_of_solutions_2
A model of AlgebraicKernel_d_2::NumberOfSolutions_2.

AlgebraicKernel_d_2::Sign_at_2
A model of AlgebraicKernel_d_2::SignAt_2.

AlgebraicKernel_d_2::Compare_x_2
A model of AlgebraicKernel_d_2::CompareX_2.

AlgebraicKernel_d_2::Compare_y_2
A model of AlgebraicKernel_d_2::CompareY_2.

AlgebraicKernel_d_2::Compare_xy_2
A model of AlgebraicKernel_d_2::CompareXY_2.

AlgebraicKernel_d_2::Bound_between_x_2
A model of AlgebraicKernel_d_2::BoundBetweenX_2.

AlgebraicKernel_d_2::Bound_between_y_2
A model of AlgebraicKernel_d_2::BoundBetweenY_2.


AlgebraicKernel_d_2::Approximate_absolute_x_2
A model of AlgebraicKernel_d_2::ApproximateAbsoluteX_2.


AlgebraicKernel_d_2::Approximate_absolute_y_2
A model of AlgebraicKernel_d_2::ApproximateAbsoluteY_2.


AlgebraicKernel_d_2::Approximate_relative_x_2
A model of AlgebraicKernel_d_2::ApproximateRelativeX_2.


AlgebraicKernel_d_2::Approximate_relative_y_2
A model of AlgebraicKernel_d_2::ApproximateRelativeY_2.

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_2::Bound_betweenX_2 the following member function must exist:

AlgebraicKernel_d_2::Bound_between_x_2
ak_2.bound_between_x_2_object () const

See Also

AlgebraicKernel_d_1