Algebra.Structures.CommutativeRing
- 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.
Instances
| 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.