CGAL 5.4.4  dD Geometry Kernel

#include <CGAL/Homogeneous_d.h>
A model for a Kernel_d
(and even KernelWithLifting_d
) using homogeneous coordinates to represent the geometric objects.
In order for Homogeneous
to model Euclidean geometry in \( E^d\), for some mathematical ring \( E\) (e.g., the integers \(\mathbb{Z}\) or the rationals \(\mathbb{Q}\)), the template parameter RT
must model the mathematical ring \( E\). That is, the ring operations on this number type must compute the mathematically correct results. If the number type provided as a model for RingNumberType
is only an approximation of a ring (such as the builtin type double
), then the geometry provided by the kernel is only an approximation of Euclidean geometry.
CGAL::Cartesian_d<FieldNumberType>