一种分解算法,通过将 表示为两种不同的二次形式来工作。然后
(1)
|
所以
(2)
|
(3)
|
令 为 最大公约数 of
和
所以
(4)
| |||
(5)
| |||
(6)
|
(其中 表示 最大公约数 of
和
),并且
(7)
|
但是由于 ,
并且
(8)
|
这得出
(9)
|
所以我们有
(10)
| |||
(11)
| |||
(12)
| |||
(13)
| |||
(14)
| |||
(15)
|