A factorization algorithm which works by expressing as a quadratic form in two
different ways. Then
(1)
|
so
(2)
|
(3)
|
Let
be the greatest common divisor of
and
so
(4)
| |||
(5)
| |||
(6)
|
(where
denotes the greatest common divisor of
and
),
and
(7)
|
But since ,
and
(8)
|
which gives
(9)
|
so we have
(10)
| |||
(11)
| |||
(12)
| |||
(13)
| |||
(14)
| |||
(15)
|