Berbeda dari referensi .wl: `Factor` with `GaussianIntegers`, `Extension` or `Trig`
Dapat diperiksa secara independen: jawaban untuk fungsi ini diturunkan ulang melalui jalur lain lalu dibandingkan - workbench dan alat verify melakukannya otomatis, sehingga jawaban yang salah tertangkap alih-alih dipercaya. Riwayat →