CGAL 5.6  Algebraic Foundations

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
IntegralDomainWithoutDivision