dedekind::morphologies::HasEuclideanGcd Concept Reference

Concept definition

template<typename Z>
concept dedekind::morphologies::HasEuclideanGcd =  IsInteger<Z> && requires(Z a, Z b) {
  { euclidean_gcd(a, b) } -> std::same_as<Z>;
}