- module Algebra.Structures.CommutativeRing
- class CommutativeRing a => IntegralDomain a
- propZeroDivisors :: (IntegralDomain a, Eq a) => a -> a -> Bool
- propIntegralDomain :: (IntegralDomain a, Eq a) => a -> a -> a -> Property
Documentation
class CommutativeRing a => IntegralDomain a Source
Definition of integral domains.
IntegralDomain Z | |
IntegralDomain EllipticCurve | |
IntegralDomain ZSqrt5 | |
(GCDDomain a, Eq a) => IntegralDomain (FieldOfFractions a) | |
(Prime n True, Nat n) => IntegralDomain (Zn n) | |
(CommutativeRing r, Eq r) => IntegralDomain (UPoly r x) |
propZeroDivisors :: (IntegralDomain a, Eq a) => a -> a -> BoolSource
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.