Safe Haskell | None |
---|---|
Language | Haskell2010 |
AUTHOR
- Dr. Alistair Ward
DESCRIPTION
- Describes a ring and operations on its members.
- https://en.wikipedia.org/wiki/Ring_%28mathematics%29.
- http://www.numericana.com/answer/rings.htm.
Type-classes
- Define both the operations applicable to all members of the ring, and its mandatory members.
- Minimal definition;
=+=
,=*=
,additiveInverse
,multiplicativeIdentity
,additiveIdentity
.
Types
Data-types
Functions
product' :: Ring r => BisectionRatio -> MinLength -> [r] -> r Source #
Returns the product of the list of ring-members.
sum' :: Ring r => BisectionRatio -> MinLength -> [r] -> r Source #
Returns the sum of the list of ring-members.
Operators
(=^) :: (Eq r, Integral power, Ring r, Show power) => r -> power -> r infixr 8 Source #
- Raise a ring-member to the specified positive integral power.
- Exponentiation is implemented as a sequence of either squares of, or multiplications by, the ring-member; https://en.wikipedia.org/wiki/Exponentiation_by_squaring.