diff --git a/Kernel_d/doc_tex/Kernel_d/kernel_representation_d.tex b/Kernel_d/doc_tex/Kernel_d/kernel_representation_d.tex index bd0daf32851..08673449b01 100644 --- a/Kernel_d/doc_tex/Kernel_d/kernel_representation_d.tex +++ b/Kernel_d/doc_tex/Kernel_d/kernel_representation_d.tex @@ -132,6 +132,12 @@ circumvented. With \ccc{Homogeneous_d}, \ccc{Homogeneous_d::LA} is mapped to the type \ccc{LinearAlgebra}. +\subsection{Epick Kernel} + +The kernel \ccc{Epick_d}, short for Exact Predicates Inexact Constructions Kernel is an experimental kernel useful when the dimension of the space is known at compile-time. It uses a Cartesian representation and supports construction of points from \ccc{double} coordinates. It provides exact geometric predicates, but inexact geometric constructions. + +Note that it is a rather strict model of the \ccc{Kernel_d} concept. The type of a point is \ccc{Epick_d::Point_d}, \emph{not} \ccc{Point_d>}. + \subsection{Naming conventions} The use of representation classes not only avoids problems, it also diff --git a/Kernel_d/doc_tex/Kernel_d_ref/Epick_d.tex b/Kernel_d/doc_tex/Kernel_d_ref/Epick_d.tex new file mode 100644 index 00000000000..917d4b9c918 --- /dev/null +++ b/Kernel_d/doc_tex/Kernel_d_ref/Epick_d.tex @@ -0,0 +1,29 @@ +\begin{ccRefClass}{Epick_d} + +\ccInclude{CGAL/Epick_d.h} + +\ccDefinition +A model for \ccc{Kernel_d} and \ccc{DelaunayTriangulationTraits} that +uses Cartesian coordinates to represent the geometric objects. The +integer parameter \ccc{dimension} is the dimension of the ambient +Euclidean space. It supports construction of points from \ccc{double} +Cartesian coordinates. It provides exact geometric predicates, but +inexact geometric constructions. + +Note that this kernel does not completely conform to the \ccc{Kernel_d} +concept: it is missing the constructions \ccc{Lift_to_paraboloid_d} and +\ccc{Project_along_d_axis_d} which do not make sense with a fixed +dimension. + +\ccIsModel +\ccRefConceptPage{Kernel_d} + +\ccRefConceptPage{DelaunayTriangulationTraits} + +\ccSeeAlso +\ccRefIdfierPage{CGAL::Cartesian_d} + +\ccRefIdfierPage{CGAL::Homogeneous_d} + + +\end{ccRefClass} diff --git a/Kernel_d/doc_tex/Kernel_d_ref/Homogeneous_d.tex b/Kernel_d/doc_tex/Kernel_d_ref/Homogeneous_d.tex index a1bf9bb9ce3..fd43aa8eade 100644 --- a/Kernel_d/doc_tex/Kernel_d_ref/Homogeneous_d.tex +++ b/Kernel_d/doc_tex/Kernel_d_ref/Homogeneous_d.tex @@ -1,4 +1,4 @@ -\begin{ccRefClass}{Homogeneous} +\begin{ccRefClass}{Homogeneous_d} \ccInclude{CGAL/Homogeneous_d.h} \ccDefinition @@ -16,6 +16,6 @@ the kernel is only an approximation of Euclidean geometry. \ccRefConceptPage{Kernel_d} \ccSeeAlso -\ccRefIdfierPage{CGAL::Cartesian_d} +\ccRefIdfierPage{CGAL::Cartesian_d} \end{ccRefClass} diff --git a/Kernel_d/doc_tex/Kernel_d_ref/Kernel.tex b/Kernel_d/doc_tex/Kernel_d_ref/Kernel.tex index 4dde1fb02a4..c74f3cac3af 100644 --- a/Kernel_d/doc_tex/Kernel_d_ref/Kernel.tex +++ b/Kernel_d/doc_tex/Kernel_d_ref/Kernel.tex @@ -166,6 +166,6 @@ corresponding functions are: \ccHasModels -\ccc{Cartesian_d}, \ccc{Homogeneous_d} +\ccc{Cartesian_d}, \ccc{Homogeneous_d}, \ccc{Epick_d} \end{ccRefConcept} diff --git a/Kernel_d/doc_tex/Kernel_d_ref/main.tex b/Kernel_d/doc_tex/Kernel_d_ref/main.tex index 9ad0cc9a3d7..182519caf6b 100644 --- a/Kernel_d/doc_tex/Kernel_d_ref/main.tex +++ b/Kernel_d/doc_tex/Kernel_d_ref/main.tex @@ -20,6 +20,7 @@ \input{Kernel_d_ref/Cartesian_d.tex} \gdef\ccRefPageBreak{\ccTrue} \input{Kernel_d_ref/Homogeneous_d.tex} +\input{Kernel_d_ref/Epick_d.tex} \clearpage \section{Kernel Objects} @@ -36,6 +37,7 @@ \input{Kernel_d_ref/Sphere_d.tex} \input{Kernel_d_ref/Iso_box_d.tex} \input{Kernel_d_ref/Aff_transformation_d.tex} +\input{Kernel_d_ref/Epick_d_Point_d.tex}