Concept

AlgebraicKernelForCircles

Definition

The AlgebraicKernelForCircles concept is meant to provide the curved kernel with all the algebraic functionalities required for the manipulation of circular arcs.

Has Models

Algebraic_kernel_for_circles_2_2

Types

A model of AlgebraicKernelForCircles is supposed to provide

AlgebraicKernelForCircles::RT
A model of RingNumberType.

AlgebraicKernelForCircles::FT
A model of FieldNumberType<RT>.


AlgebraicKernelForCircles::Polynomial_1_2
A model of AlgebraicKernelForCircles::Polynomial_1_2, for bivariate polynomials of degree up to 1.

AlgebraicKernelForCircles::Polynomial_for_circles_2_2
A model of AlgebraicKernelForCircles::PolynomialForCircles_2_2, for bivariate polynomials of degree up to 2 that can store equations of circles.


AlgebraicKernelForCircles::Root_of_2
A model of RootOf_2, for algebraic numbers of degree up to 2.

AlgebraicKernelForCircles::Root_for_circles_2_2
A model of AlgebraicKernelForCircles::RootForCircles_2_2, for solutions of systems of two models of AlgebraicKernelForCircles::PolynomialForCircles_2_2.


AlgebraicKernelForCircles::Construct_polynomial_1_2
A model of AlgebraicKernelForCircles::ConstructPolynomial_1_2.

AlgebraicKernelForCircles::Construct_polynomial_for_circles_2_2
A model of AlgebraicKernelForCircles::ConstructPolynomialForCircles_2_2.


AlgebraicKernelForCircles::Compare_x
A model of the concept AlgebraicKernelForCircles::CompareX.

AlgebraicKernelForCircles::Compare_y
A model of the concept AlgebraicKernelForCircles::CompareY.

AlgebraicKernelForCircles::Compare_xy
A model of the concept AlgebraicKernelForCircles::CompareXY.


AlgebraicKernelForCircles::Sign_at
A model of the concept AlgebraicKernelForCircles::SignAt.


AlgebraicKernelForCircles::X_critical_points
A model of the concept AlgebraicKernelForCircles::XCriticalPoints.

AlgebraicKernelForCircles::Y_critical_points
A model of the concept AlgebraicKernelForCircles::YCriticalPoints.


AlgebraicKernelForCircles::Solve
A model of the concept AlgebraicKernelForCircles::Solve.

See Also

CircularKernel
CGAL::Circular_kernel_2<Kernel,AlgebraicKernelForCircles>