Field

Definition

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 /=.

Moreover, CGAL::Algebraic_structure_traits< Field > is a model of AlgebraicStructureTraits providing:
- CGAL::Algebraic_structure_traits< Field >::Algebraic_type derived from Field_tag
- CGAL::Algebraic_structure_traits< FieldWithSqrt >::Inverse

Refines

IntegralDomain

Operations

Field a / b
Field a /= b

See Also

IntegralDomainWithoutDivision
IntegralDomain
UniqueFactorizationDomain
EuclideanRing
Field
FieldWithSqrt
FieldWithKthRoot
FieldWithRootOf
AlgebraicStructureTraits