- module Algebra.Structures.CommutativeRing
- class CommutativeRing a => IntegralDomain a
- propIntegralDomain :: (IntegralDomain a, Eq a) => a -> a -> a -> Property
Documentation
class CommutativeRing a => IntegralDomain a Source
Definition of integral domains.
IntegralDomain Z | |
(GCDDomain a, Eq a) => IntegralDomain (FieldOfFractions a) |
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.