- module Algebra.Structures.Ring
- class Ring a => CommutativeRing a
- propCommutativeRing :: (CommutativeRing a, Eq a) => a -> a -> a -> Property
Documentation
module Algebra.Structures.Ring
class Ring a => CommutativeRing a Source
Definition of commutative rings.
CommutativeRing Z | |
(GCDDomain a, Eq a) => CommutativeRing (FieldOfFractions a) |
propCommutativeRing :: (CommutativeRing a, Eq a) => a -> a -> a -> PropertySource
Specification of commutative rings. Test that multiplication is commutative and that it satisfies the ring axioms.