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