computational-algebra-0.5.0.0: Well-kinded computational algebra library, currently supporting Groebner basis.

Safe HaskellNone
LanguageHaskell2010

Algebra.Algorithms.ChineseRemainder

Description

Chinese Remainder for Rational numbers.

Since 0.4.0.0

Synopsis

Documentation

recoverRat Source #

Arguments

:: Integer

Bound for numerator

-> Integer

modulus

-> Integer

integer corresponds to the rational number.

-> Maybe (Fraction Integer)

recovered rational number

Recovers rational number from Z/pZ.

rationalChineseRemainder :: Integer -> [(Integer, Integer)] -> Maybe (Fraction Integer) Source #

Chinese Remainder for raional numbers.