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