CGAL 4.14.2 - Algebraic Foundations
A model of
Field is an
IntegralDomain in which every non-zero element has a multiplicative inverse. Thus, one can divide by any non-zero element. Hence division is defined for any divisor != 0. For a Field, we require this division operation to be available through operators / and /=.
CGAL::Algebraic_structure_traits< Field >::Algebraic_categoryderived from
CGAL::Algebraic_structure_traits< FieldWithSqrt >::Inversewhich is a model of
|Field||operator/ (const Field &a, const Field &b)|
|Field||operator/= (const Field &b)|