โปรดทราบว่า
$$\frac{\sigma'(x)}{\sigma(x)}=\sum_{i\in B}\frac 1{x-L_i}$$
และถ้าเราเขียน $C$ สำหรับตำแหน่งบิตของโค้ดเวิร์ด รหัส Goppa ถูกกำหนดโดย
$$\sum_{i\in C}\frac 1{x-L_i}\equiv 0\pmod{g(x)}$$
ดังนั้น
$$\frac{\sigma'(x)}{\sigma(x)}\equiv\sum_{i\in B\ominus C}\frac 1{x-L_i}\pmod{g(x)}$$
และด้านขวาเป็นเพียง $s(x)$.
เราแยกกัน $\sigma(x)$ เป็นเอกนามดีกรีคี่และเลขคู่เพื่อให้เราสามารถหาพหุนามได้ $\sigma_{คี่}$ และ$\sigma_{เลขคู่}$ ดังนั้น
$$\sigma(x)=x\sigma_{คี่}(x^2)+\sigma_{เลขคู่}(x^2) \qสี่เหลี่ยม (1)$$
เนื่องจากเราอยู่ในฟิลด์ที่มีลักษณะเฉพาะ 2 พหุนามที่มีเทอมกำลังสองเท่านั้นจึงเป็นกำลังสองของพหุนามดีกรีอื่นๆ $(\deg g-1)/2$ และเรามีเป้าหมายที่จะฟื้นตัว $a(x)$ และ $b(x)$ พอใจระดับนี้ผูกพันเช่นนั้น $a(x)^2=\sigma_{เลขคู่}(x^2)$ และ $b(x)^2=\sigma_{คี่}$.
ความแตกต่าง (1) ให้
$$\sigma'(x)=\sigma_{คี่}(x^2)$$
และอื่น ๆ
$$\frac{\sigma(x)}{\sigma'(x)}=x+\frac{\sigma_{even}(x^2)}{\sigma_{odd}(x^2)}$$
ซึ่งบอกเราว่า
$$\frac1{s(x)}-x\equiv \frac{\sigma_{even}(x^2)}{\sigma_{odd}(x^2)}\pmod{g(x)}.$ $
ดังนั้นพหุนาม $v(x)$ เทียบเท่ากับฟังก์ชันตรรกยะ $a(x)/b(x)$ ที่เราแสวงหาโมดูโล $ก(x)$. อัลกอริทึมแบบยุคลิดแบบขยายจะส่งกลับพหุนามสองชื่อเช่นนั้น
$$\frac{c(x)}{d(x)}\equiv v(x)\pmod{g(x)}$$
กับ $\deg c$ และ $\deg d$ ทั้งน้อยกว่า $(\deg g)/2$ และพหุนามเหล่านี้จะต้องเท่ากับที่เราต้องการ $a(x)$ และ $b(x)$ มิฉะนั้น $a(x)d(x)-b(x)c(x)$ เป็นพหุนามดีกรีน้อยกว่า $d$ และหารด้วย $ก(x)$. ฟื้นแล้ว $a(x)$ และ $b(x)$ ตอนนี้เราสามารถสร้าง $\sigma(x)=a(x)^2+xb(x)^2$ ซึ่งเป็นคำจำกัดความของ $p(x)$ ที่มักจะได้รับ