Factory.Data.Polynomial

Types

Type-synonyms

Data-types

data Polynomial coefficient exponent

Constants

zero

one

Functions

evaluate

getDegree

getLeadingTerm

lift

mod'

normalise

raiseModulo

realCoefficientsToFrac

terms

Constructors

mkConstant

mkLinear

mkPolynomial

Operators

(*=)

Predicates

areCongruentModulo

inAscendingOrder

inDescendingOrder

isMonic

isMonomial

isNormalised

isPolynomial

isZero