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
| ||
|
||
| ||
|
||
| ||
|
|
| |
return a great common factor of d1 and d2. Note: operator()(0,0) = 0 |
Fraction
FractionTraits
FractionTraits::Decompose
FractionTraits::Compose
AlgebraicStructureTraits::Gcd