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

Algebra.Structures.IntegralDomain

Synopsis

Documentation

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

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