それならばと、from sympy.ntheory.modular import crt
のライブラリファイルを自分のパソコン内で探すとすぐに
見つかったので、長いので、コードのごく一部だけ貼っておこう。
どうやらpythonでは、「拡張ユークリッドの互除法」を使って、
中国剰余定理の問題を解いているようである。

コードにある、gcdは、最大公約数の意味になる。combine
とあるので、私の手計算での解法の一つのように、3つの合同式から、
まず2つの合同式を計算して、1つの合同式にまとめて、それと残り
の合同式で計算している感じなのかもしれない。つまり、全体の計算を
部分モジュールに分割した段階的な演算をしている可能性が高いという
ことが推測される