A model for Kernel that uses
Cartesian
coordinates to represent the
geometric objects. In order for Cartesian<FieldNumberType> to model Euclidean geometry
in E2 and/or E3, for some mathematical field E (e.g.,
the rationals or the reals ), the template parameter FieldNumberType
must model the mathematical field E. That is, the field operations on this
number type must copute the mathematically correct results. If the number
type provided as a model for FieldNumberType is only an approximation of a
field (such as the built-in type double), then the geometry provided by
the kernel is only an approximation of Euclidean geometry.