Difiere de la referencia .wl: `Factor` with `GaussianIntegers`, `Extension` or `Trig`
Verificable de forma independiente: una respuesta de esta función se vuelve a derivar por otra vía y se compara; el taller y la herramienta verify lo hacen automáticamente, así una respuesta errónea se detecta en lugar de confiar en ella. Historial →