Concept definition

template<class T>
concept sequoia::maths::weak_commutative_ring =     std::regular<T>
      && weakly_abelian_group_under_addition_v<T>
      && multiplication_weakly_distributive_over_addition_v<T>
      && is_addable_v<T>
      && is_subtractable_v<T>
      && is_multiplicable_v<T>

Detailed Description

concept representing reasonable approximations to a commutative ring.