(194 . 7)(194 . 7)
1139 -- Generate Barrettoid(X) to use in all of the modulo-X operations:
1140 FZ_Make_Barrettoid(Modulus => X, Result => XBar);
1141
1142 -- Find R >= 1, and odd K, where X − 1 = 2^R * K :
1143 -- Find R >= 1, and odd K, where X - 1 = 2^R * K :
1144
1145 -- ... first, find R, the largest power of two which divides X - 1 :
1146 R := FZ_Count_Bottom_Zeros(X_Minus_One);