Module generalized_greatest_common_divisor_trait

Traits

GCD

generalized greatest common divisor on commutative ring R. gcd(a, b) might not be unique neither exist. if R does not have Order property.