IntegralDomain

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_type derived from Integral_domain_tag
- CGAL::Algebraic_structure_traits< IntegralDomain >::Integral_division
- CGAL::Algebraic_structure_traits< IntegralDomain >::Divides

Refines

IntegralDomainWithoutDivision

See Also

IntegralDomainWithoutDivision
IntegralDomain
UniqueFactorizationDomain
EuclideanRing
Field
FieldWithSqrt
FieldWithKthRoot
FieldWithRootOf
AlgebraicStructureTraits