|
CGAL 6.0 - Algebraic Foundations
|
AdaptableBinaryFunction, finds great common factor of denominators.
This can be considered as a relaxed version of AlgebraicStructureTraits_::Gcd, this is needed because it is not guaranteed that FractionTraits::Denominator_type is a model of UniqueFactorizationDomain.
AdaptableBinaryFunction Types | |
| typedef FractionTraits::Denominator_type | result_type |
| typedef FractionTraits::Denominator_type | first_argument_type |
| typedef FractionTraits::Denominator_type | second_argument_type |
Operations | |
| result_type | operator() (first_argument_type d1, second_argument_type d2) |
| return a great common factor of \( d1\) and \( d2\). | |
| result_type FractionTraits_::CommonFactor::operator() | ( | first_argument_type | d1, |
| second_argument_type | d2 | ||
| ) |
return a great common factor of \( d1\) and \( d2\).
Note: operator()(0,0) = 0