|
CGAL 6.2 - Algebraic Foundations
|
Loading...
Searching...
No Matches
|
CGAL 6.2 - 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 
1.9.6 #include <Concepts/IntegralDomain.h>
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 1.9.6