constructive-algebra-0.0.0: A library for constructive algebra.
Algebra.Structures.Ring
Description
The representation of the ring structure.
Synopsis
class Ring a whereSource
Definition of rings
Methods
(<+>) :: a -> a -> aSource
Addition
(<*>) :: a -> a -> aSource
Multiplication
neg :: a -> aSource
Compute additive inverse
zero :: aSource
The additive identity
one :: aSource
The multiplicative identity
propRing :: (Ring a, Eq a) => a -> a -> a -> PropertySource
Specification of rings. Test that the arguments satisfy the ring axioms.
(<->) :: Ring a => a -> a -> aSource
Subtraction
(<^>) :: Ring a => a -> Integer -> aSource
Exponentiation
sumRing :: Ring a => [a] -> aSource
Summation
productRing :: Ring a => [a] -> aSource
Product