CGAL 5.1 - 2D Circular Geometry Kernel
AlgebraicKernelForCircles Class Reference

#include <Concepts/AlgebraicKernelForCircles.h>

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:
CGAL::Algebraic_kernel_for_circles_2_2
See also
CircularKernel
CGAL::Circular_kernel_2<Kernel,AlgebraicKernelForCircles>

Classes

class  CompareX
 
class  CompareXY
 
class  CompareY
 
class  ConstructPolynomial_1_2
 
class  ConstructPolynomialForCircles_2_2
 
class  Polynomial_1_2
 Concept to represent bivariate polynomials of degree 1 whose coefficients are of a type that is a model of the concept RingNumberType. More...
 
class  PolynomialForCircles_2_2
 Concept to represent bivariate polynomials of degree up to 2 capable of storing equations of circles, whose center's coordinates, as well as the square of the radius, are of a type that is a model of the concept FieldNumberType. More...
 
class  RootForCircles_2_2
 Concept to represent the roots of a system of two equations of degree 2 in two variables x and y that are models of concept AlgebraicKernelForCircles::PolynomialForCircles_2_2 More...
 
class  SignAt
 
class  Solve
 
class  XCriticalPoints
 
class  YCriticalPoints
 

Types

A model of AlgebraicKernelForCircles is supposed to provide

typedef unspecified_type RT
 A model of RingNumberType. More...
 
typedef unspecified_type FT
 A model of FieldNumberType<RT>. More...
 
typedef unspecified_type Polynomial_1_2
 A model of AlgebraicKernelForCircles::Polynomial_1_2, for bivariate polynomials of degree up to 1. More...
 
typedef unspecified_type 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. More...
 
typedef unspecified_type Root_of_2
 A model of RootOf_2, for algebraic numbers of degree up to 2. More...
 
typedef unspecified_type Root_for_circles_2_2
 A model of AlgebraicKernelForCircles::RootForCircles_2_2, for solutions of systems of two models of AlgebraicKernelForCircles::PolynomialForCircles_2_2. More...
 
typedef unspecified_type Construct_polynomial_1_2
 A model of AlgebraicKernelForCircles::ConstructPolynomial_1_2. More...
 
typedef unspecified_type Construct_polynomial_for_circles_2_2
 A model of AlgebraicKernelForCircles::ConstructPolynomialForCircles_2_2. More...
 
typedef unspecified_type Compare_x
 A model of the concept AlgebraicKernelForCircles::CompareX. More...
 
typedef unspecified_type Compare_y
 A model of the concept AlgebraicKernelForCircles::CompareY. More...
 
typedef unspecified_type Compare_xy
 A model of the concept AlgebraicKernelForCircles::CompareXY. More...
 
typedef unspecified_type Sign_at
 A model of the concept AlgebraicKernelForCircles::SignAt. More...
 
typedef unspecified_type X_critical_points
 A model of the concept AlgebraicKernelForCircles::XCriticalPoints. More...
 
typedef unspecified_type Y_critical_points
 A model of the concept AlgebraicKernelForCircles::YCriticalPoints. More...
 
typedef unspecified_type Solve
 A model of the concept AlgebraicKernelForCircles::Solve. More...
 

Member Typedef Documentation

◆ Compare_x

typedef unspecified_type AlgebraicKernelForCircles::Compare_x

A model of the concept AlgebraicKernelForCircles::CompareX.

◆ Compare_xy

typedef unspecified_type AlgebraicKernelForCircles::Compare_xy

A model of the concept AlgebraicKernelForCircles::CompareXY.

◆ Compare_y

typedef unspecified_type AlgebraicKernelForCircles::Compare_y

A model of the concept AlgebraicKernelForCircles::CompareY.

◆ Construct_polynomial_1_2

◆ Construct_polynomial_for_circles_2_2

◆ FT

typedef unspecified_type AlgebraicKernelForCircles::FT

A model of FieldNumberType<RT>.

◆ Polynomial_1_2

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

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

◆ Root_for_circles_2_2

◆ Root_of_2

typedef unspecified_type AlgebraicKernelForCircles::Root_of_2

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

◆ RT

typedef unspecified_type AlgebraicKernelForCircles::RT

A model of RingNumberType.

◆ Sign_at

typedef unspecified_type AlgebraicKernelForCircles::Sign_at

A model of the concept AlgebraicKernelForCircles::SignAt.

◆ Solve

typedef unspecified_type AlgebraicKernelForCircles::Solve

A model of the concept AlgebraicKernelForCircles::Solve.

◆ X_critical_points

◆ Y_critical_points