CGAL 6.2 - Algebraic Foundations

Loading...
Searching...
No Matches
List of all members
FractionTraits_::CommonFactor Concept Reference
Reference Manual » Concepts

## 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`

See also
  `Fraction`
  `FractionTraits`
  `FractionTraits_::Decompose`
  `FractionTraits_::Compose`
  `AlgebraicStructureTraits_::Gcd`

## 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\).

## Member Function Documentation

## ◆ operator()()

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`