`AUTHOR`

- Dr. Alistair Ward
`DESCRIPTION`

- Describes a
*monic polynomial; <http:**en.wikipedia.org*wiki/Monic_polynomial#Classifications>; ie. in which the*coefficient*of the*leading term*is one.

- data MonicPolynomial c e
- mkMonicPolynomial :: (Num c, Ord e, Show e) => Polynomial c e -> MonicPolynomial c e

# Types

## Data-types,

data MonicPolynomial c e Source

A type of `Polynomial`

, in which the *leading term* is required to have a *coefficient* of one.

(Eq c, Eq e) => Eq (MonicPolynomial c e) | |

(Show c, Show e) => Show (MonicPolynomial c e) | |

(Num c, Num e, Ord e, Show e) => Ring (MonicPolynomial c e) | |

(Num c, Num e, Ord e) => QuotientRing (MonicPolynomial c e) |

# Functions

## Constructors

mkMonicPolynomial :: (Num c, Ord e, Show e) => Polynomial c e -> MonicPolynomial c eSource

Constructs an arbitrary *monic polynomial*.