Factory.Data.QuotientRing

AUTHOR

Dr. Alistair Ward

DESCRIPTION

• Describes a Quotient Ring; http://en.wikipedia.org/wiki/Quotient_ring.
• This is a ring composed from a residue-class resulting from modular division.

Type-classes

class Ring q => QuotientRing q where

Defines a sub-class of Ring, in which division is implemented.

Methods

quotRem'

Arguments

:: q

-> q

-> (q, q)

Divides the first operand by the second, to yield a pair composed from the quotient and the remainder.

Instances

(Eq c, Fractional c, Num e, Ord e) => QuotientRing (Polynomial c e)

Defines the ability to divide polynomials.

(Eq c, Num c, Num e, Ord e, Show c, Show e) => QuotientRing (MonicPolynomial c e)

Functions

quot'

Arguments

:: QuotientRing q

=> q

Numerator.

-> q

Denominator.

-> q

Returns the quotient, after division of the two specified QuotientRings.

rem'

Arguments

:: QuotientRing q

=> q

Numerator.

-> q

Denominator.

-> q

Returns the remainder, after division of the two specified QuotientRings.

Predicates

areCongruentModulo

Arguments

:: (Eq q, QuotientRing q)

=> q

LHS.

-> q

RHS.

-> q

Modulus.

-> Bool

• True if the two specified QuotientRings are congruent in modulo-arithmetic, where the modulus is a third QuotientRing.
• http://www.usna.edu/Users/math/wdj/book/node74.html.

isDivisibleBy

Arguments

:: (Eq q, QuotientRing q)

=> q

Numerator.

-> q

Denominator.

-> Bool

True if the second operand divides the first.