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:

• CGAL::Algebraic_structure_traits< IntegralDomain >::Algebraic_category derived from CGAL::Integral_domain_tag
• CGAL::Algebraic_structure_traits< IntegralDomain >::Integral_division which is a model of AlgebraicStructureTraits_::IntegralDivision
• CGAL::Algebraic_structure_traits< IntegralDomain >::Divides which is a model of AlgebraicStructureTraits_::Divides

Refines:

IntegralDomainWithoutDivision

See Also

IntegralDomainWithoutDivision

IntegralDomain

UniqueFactorizationDomain

EuclideanRing

Field

FieldWithSqrt

FieldWithKthRoot

FieldWithRootOf

AlgebraicStructureTraits