A*B modulo N - - 3


abs(Pi)<N.

 2. k>0, ..

n_short<abs(p_short) (2.1.9)

:

 A:

p_short<0 (2.1.10)

(2.1.9) (2.1.10) P'<-N Pi=-P'+k*N

(. ), (2.1.7)

Pi=d*N, d£0.5 (2.1.11)

Pi=-P'+(k+1)*N,

Pi=-(1-d)*N, d>0.5 (2.1.12)

 B:

p_short>0 (2.1.13)

(2.1.9) (2.1.13) P'>N Pi=P'-k*N,  (2.1.7)

Pi=-d*N, d£0.5 (2.1.14)

Pi=P'-(k+1)*N,

Pi=(1-d)*N, d>0.5 (2.1.15)

(2.1.11), (2.1.12), (2.1.14) (2.1.15), 0£d<1, abs(Pi)<N.

n.

. (2.1.7)

if p_short-k*n_short>n_short DIV 2 ?

P




- -  - -  - -