pub fn crt((b1, m1): (i64, u64), (b2, m2): (i64, u64)) -> Option<(i64, u64)>Expand description
二元の中国剰余定理
$$\begin{aligned}
x \equiv b_1 \pmod {m_1} \\
x \equiv b_2 \pmod {m_2}
\end{aligned}$$
を満たす$x \pmod {\mathrm{lcm}(m_1, m_2)}$が存在すれば、$x$と$\mathrm{lcm}(m_1, m_2)$を返す。
そうでなければ、Noneを返す。