Суть метода заключается в вычислении значения г = X mod n (рис. 1.16), для чего предварительно вычисляется ц = [Я2к/п]. Эти числа можно запомнить, если выполняются многократные вычисления с использованием данного модуля, при этом X является основанием в разложении числа X; обычно на практике его значение принимается равным разрядности процессора.

Рис. 1.16 Модульная редукция методом Барето
Несмотря на то что в представленном алгоритме производится большое количество операций деления, все они легко реализуются с помощью правого сдвига по основанию X. При этом необходимо учитывать, что q2 используется для вычисления q3. В связи с этим в q2 используется только к + 1 младших разрядов.