dedekind::morphologies::IsCyclicRing Concept Reference

Concept definition

template<typename T>
concept dedekind::morphologies::IsCyclicRing =  IsCyclic<T> && requires(T a, T b) {
  { a + b } -> std::same_as<T>;
  { a * b } -> std::same_as<T>;
}