Algebra.Algorithms.ChineseRemainder
Description
Chinese Remainder for Rational numbers.
Since 0.4.0.0
recoverRat Source #
Arguments
Bound for numerator
modulus
integer corresponds to the rational number.
recovered rational number
Recovers rational number from Z/pZ.
rationalChineseRemainder :: Integer -> [(Integer, Integer)] -> Maybe (Fraction Integer) Source #
Chinese Remainder for raional numbers.