Module garner

Garner’s algorithm

Functions

garner

$$ \begin{aligned} x \equiv r_1 \pmod {m_1} \\ x \equiv r_2 \pmod {m_2} \\ \vdots \\ x \equiv r_n \pmod {m_n} \end{aligned} $$ を満たす$x \pmod {modulo}$を求める。 そのような$x$が存在しなければNoneを返す。