id summary reporter owner description type status priority milestone component resolution keywords cc merged author reviewer upstream work_issues branch commit dependencies stopgaps
11890 Sage cannot factor polynomials over number fields with unfactorable discriminant jdemeyer davidloeffler "Let `K` be a number field with a discriminant which cannot be factored. Let `f` be a polynomial in `K[x]`. Then Sage is unable to factor `f` because it calls PARI's `nfinit()` on `K`:
{{{
sage: p = next_prime(10^50); q = next_prime(10^51)
sage: K = QuadraticField(p*q)
sage: x = polygen(K); factor(x^2+1)
[... takes a very long time ...]
}}}
The solution is to call `nfinit()` with the defining polynomial when the discriminant cannot be factored. If that fails, fall back to `factornf()`.
See also #10910.
'''Apply''' [attachment:11890_rebased.patch], [attachment:11890_try_nffactor.patch] and [attachment:11890_reviewer.patch]." enhancement closed major sage-4.8 number fields fixed nffactor PARI nfinit pari_nf sage-4.8.alpha1 Jeroen Demeyer Luis Felipe Tabera Alonso N/A #11891, #11130