constructive-algebra-0.1.2: A library of constructive algebra.

Algebra.Structures.CommutativeRing

Synopsis

Documentation

class Ring a => CommutativeRing a Source

Definition of commutative rings.

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.