Algebra.Algorithms.ChineseRemainder

recoverRat

rationalChineseRemainder