\( \newcommand{\E}{\mathrm{E}} \) \( \newcommand{\A}{\mathrm{A}} \) \( \newcommand{\R}{\mathrm{R}} \) \( \newcommand{\N}{\mathrm{N}} \) \( \newcommand{\Q}{\mathrm{Q}} \) \( \newcommand{\Z}{\mathrm{Z}} \) \( \def\ccSum #1#2#3{ \sum_{#1}^{#2}{#3} } \def\ccProd #1#2#3{ \sum_{#1}^{#2}{#3} }\)
CGAL 4.13.2 - dD Geometry Kernel
CGAL::Homogeneous_d< RingNumberType > Class Template Reference
dD Geometry Kernel Reference ยป Kernels

#include <CGAL/Homogeneous_d.h>

Definition

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 built-in type double), then the geometry provided by the kernel is only an approximation of Euclidean geometry.

Is Model Of:
KernelWithLifting_d
See also
CGAL::Cartesian_d<FieldNumberType>