Differs from the .wl reference: `Factor` with `GaussianIntegers`, `Extension` or `Trig`
Independently checkable: an answer for this function is re-derived by a different route and compared - the workbench and the verify tool do this automatically, so a wrong answer is caught rather than trusted. History →