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

Algebra.Structures.IntegralDomain

Synopsis

Documentation

module Algebra.Structures.CommutativeRing

class CommutativeRing a => IntegralDomain a Source

Definition of integral domains

Instances

propIntegralDomain :: (IntegralDomain a, Eq a) => a -> a -> a -> PropertySource

Specification of commutative rings. Test that there are no zero-divisors commutative and that it satisfies the axioms of commutative rings.