A model of the AlgebraicKernel_d_2 concept gathers necessary tools for solving and handling bivariate polynomial systems of general degree d.
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.
|
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.
|
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 |