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