умови 0 ≤ R і +1 = 2R i <В. (1.5.)
Якщо у и +1 = 1, то Y і + 1 = Y и + 2 - ( і +1) ; (1.6.)
R і +1 = (А-В х Y і + 1 ) х 2 і +1 = (А - В х Y i -B х 2 - ( і +1) 2 ( і +1 ) = 2 R и - У, (1.7.)
тобто цифра приватного дорівнює 1, якщо виконується умова:
0 ≤ R і +1 = 2R i -В <В (1.8.) p> або  ≤ 2R i <2В. (1.9.) br/>
Так як завжди виконується одна з умов (1.5.) або (1.9.), то для визначення поточної цифри приватного достатньо перевірити одне з них.
Зазвичай перевіряють умова (1.5.). Ліва частина цієї нерівності виконується завідомо, так як згідно (1.2.) 0 ≤ R и , тобто черговий залишок перед початком наступного кроку ділення завжди є позитивним числом.
Для перевірки правій частині нерівності порівняємо різницю (2R и -В) порівняємо з нулем. Якщо ця різниця виявиться негативною, то в (і +1) розряд приватного запишемо 0 і для підготовки вихідних даних для (і +2)-го циклу визначимо R і +1 наступним чином:
R і +1 = (2R i -В) + В = 2R i . (1.10.) br/>
Якщо різниця 2R i -В виявиться позитивною, то запишемо у (і +1) розряд приватного 1, а в якості вихідного значення для наступного (і +2)-го циклу використовуємо обчислену різницю (див. 1.7.): R і +1 = 2 R и - У,
Вихідними даними для 1-го циклу є:
Y 0 = 0
R 0 = (А-ВY 0 ) 2 0 = А <В
тобто за умовою нерівності (1.2.) виконується і перед початком першого циклу. Після закінчення n-го циклу отримаємо n-значне приватна Y n , обчислене з недоліком R n = (A - BY n ) 2 n , який дорівнює залишку від ділення А на В, зрушеному вліво на n розрядів.
Правило ділення з відновленням залишків формулюється таким чином. p> Дільник віднімається з діленого і визначається знак нульового (по порядку) залишку. Якщо залишок позитивний, тобто | A |> | В |, то в псевдознаковом розряді приватного проставляється 1, при появі якої формується ознака переповнення розрядної сітки і операція припиняється. Якщо залишок від'ємний, то в псевдознаковом розряді приватного записується 0, а потім проводиться відновлення діленого шляхом додавання до залишку дільника. Далі виконується зсув відновленого діленого на один розряд вліво і повторне віднімання дільника. Знак одержуваного таким чином залишку визначає першу значущу цифру приватного: якщо залишок позитивний, то в першому розряді приватного записується 1, якщо негативний, то записується 0. Далі, якщо залишок позитивний, то він зсувається вліво на 1 розряд і з нього віднімається дільник для визначення наступної цифри приватного. Якщо залишок від'ємний, то до нього додається дільник для відновлення попереднього залишку, потім відновлений залишок зсувається на 1 розряд вліво і від нього віднімається дільник для визначення наступної цифри приватного і т.д. до отримання необхідного кількості цифр приватного з урахуванням одного розряду для округлення, тобто до забезпечення необхідної точності поділу.
Приклад.
А = 0,10011; В = 0,11001; [-B] доп = 11,00111; | У | = 0,11001
1. Визначення знака приватного: 0Г…0 = 0 2. Визначення модуля приватного
№ циклу
№ такту
Найменування операції
Дей-ствие
Розряди приватного
0
1
віднімаючи. ділить.
А
00
10011
2
з ділене
[-B] д
11
00111
...
