a more useful bound: log(r) not r

thofma · Oct 23, 2024 · 2407ea8 · 2407ea8
1 parent 1c1764e
commit 2407ea8
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/NumField/NfAbs/PolyFact.jl b/src/NumField/NfAbs/PolyFact.jl
@@ -558,7 +558,8 @@ function van_hoeij(f::PolyRingElem{AbsSimpleNumFieldElem}, P::AbsNumFieldOrderId
   _, mK = residue_field(order(P), P)
   mK = extend(mK, K)
   r = length(factor(map_coefficients(mK, f, cached = false)))
-  prec_scale = max(r, prec_scale)
+  prec_scale = max(nbits(r), prec_scale)
+
   N = degree(f)
   @vprintln :PolyFactor 1  "Having $r local factors for degree $N"