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 => Int -> a -> aSource
Multiply from left with an integer; n *> x means x + x + ... + x, n times.
productRing :: Ring a => [a] -> aSource
Product