- 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) | |
Nat n => CommutativeRing (Zn n) | |
(CommutativeRing r, Eq r) => CommutativeRing (UPoly r x) |
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.