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:

• 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