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.