A model for Kernel that uses
Cartesian
coordinates to represent the
geometric objects. In order for Cartesian<FieldNumberType> to model Euclidean geometry
in and/or , for some mathematical field (e.g.,
the rationals or the reals ), the template parameter FieldNumberType
must model the mathematical field . 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.