CGAL 5.6.1  Algebraic Foundations

A model of Field
is an IntegralDomain
in which every nonzero element has a multiplicative inverse. Thus, one can divide by any nonzero element. Hence division is defined for any divisor != 0. For a Field, we require this division operation to be available through operators / and /=.
Moreover, CGAL::Algebraic_structure_traits< Field >
is a model of AlgebraicStructureTraits
providing:
CGAL::Algebraic_structure_traits< Field >::Algebraic_category
derived from CGAL::Field_tag
CGAL::Algebraic_structure_traits< FieldWithSqrt >::Inverse
which is a model of AlgebraicStructureTraits_::Inverse
IntegralDomain
Operations  
Field  operator/ (const Field &a, const Field &b) 
Field  operator/= (const Field &b) 