ntlib::Ring Concept Reference

Restricts to types modeling a ring. More...

Concept definition

template<typename T>
concept Ring = AdditiveCommutativeGroup<T> && MultiplicativeMonoid<T>

Detailed Description

Restricts to types modeling a ring.

Note

In NTLib, rings do always have a multiplicative neutral element.

Template Parameters

T	A set that acts as an additive commutative group and a multiplicative monoid, and where multiplication is distributive over addition.