- module Algebra.Structures.Ring
- class Ring a => CommutativeRing a
- propCommutativeRing :: (CommutativeRing a, Eq a) => a -> a -> a -> Property
Documentation
module Algebra.Structures.Ring
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.