FractionTraits::CommonFactor

Definition

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.

Refines

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 common_factor ( first_argument_type d1 , second_argument_type d2 )
return a great common factor of d1 and d2.
Note: operator()(0,0) = 0

See Also

Fraction
FractionTraits
FractionTraits::Decompose
FractionTraits::Compose
AlgebraicStructureTraits::Gcd