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.

(*>) :: Ring a => Integer -> a -> aSource

Multiply from left with an integer; n *> x means x + x + ... + x, n times.

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

Product