ntlib::CommutativeRing Concept Reference

Restricts to types modeling a commutative ring. More...

Concept definition

template<typename T>
concept CommutativeRing = Ring<T> && requires {
  ntlib::algebra_traits<T>::is_multiplicative_commutative;
}

Detailed Description

Restricts to types modeling a commutative ring.

Template Parameters

T	A set that acts as a ring and where multiplication is commutative.