251–3ページ参照。1」法の文脈で紹介しているが、このアルゴリズムは楕円曲線法にも適用可能だ(同256ページ)。オブジェクトとして合法なので、以下では、この形をそのまま使う。以上は「待ち行列をプロパティーとするオブジェクト」または「待ち行列を要素とする配列」であり、いずれの場合も、待ち行列自体は、単なる配列として実装される。ついて、素数か素数でないかの真偽値を返す。この関数は別途実装しておく。pairing_arrays)は「ペアリング用の配列」の配列。範囲にある整数で、負になることもある(絶対的最小剰余)。素数なので、そのパターンは生じない。