Structure for commutative rings.
- module Algebra.Structures.Ring
- class Ring a => CommutativeRing a
- propMulComm :: (CommutativeRing a, Eq a) => a -> a -> Bool
- 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 | |
CommutativeRing EllipticCurve | |
CommutativeRing ZSqrt5 | |
(GCDDomain a, Eq a) => CommutativeRing (FieldOfFractions a) | |
Nat n => CommutativeRing (Zn n) | |
(CommutativeRing r, Eq r) => CommutativeRing (UPoly r x) |
propMulComm :: (CommutativeRing a, Eq a) => a -> a -> BoolSource
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.