|
CGAL 6.0 - 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_tagCGAL::Algebraic_structure_traits< IntegralDomain >::Integral_division which is a model of AlgebraicStructureTraits_::IntegralDivisionCGAL::Algebraic_structure_traits< IntegralDomain >::Divides which is a model of AlgebraicStructureTraits_::DividesIntegralDomainWithoutDivision