The representation of the ring structure.

# Documentation

Definition of rings

Addition

Multiplication

Compute additive inverse

The additive identity

The multiplicative identity

propRing :: (Ring a, Eq a) => a -> a -> a -> PropertySource

Specification of rings. Test that the arguments satisfy the ring axioms.

productRing :: Ring a => [a] -> aSource

Product