CGAL 4.12.1 - Algebraic Foundations
IntegralDomain Concept Reference

## Definition

IntegralDomain refines IntegralDomainWithoutDivision by providing an integral division.

Note: The concept does not require the operator / for this operation. We intend to reserve the operator syntax for use with a Field.

Moreover, CGAL::Algebraic_structure_traits< IntegralDomain > is a model of AlgebraicStructureTraits providing:

Refines:
IntegralDomainWithoutDivision
IntegralDomainWithoutDivision
IntegralDomain
UniqueFactorizationDomain
EuclideanRing
Field
FieldWithSqrt
FieldWithKthRoot
FieldWithRootOf
AlgebraicStructureTraits