From 2407ea8278402fc53c5bbc1fd43317f0a5fba135 Mon Sep 17 00:00:00 2001
From: Claus Fieker <fieker@mathematik.uni-kl.de>
Date: Wed, 23 Oct 2024 09:58:41 +0200
Subject: [PATCH] a more useful bound: log(r) not r

---
 src/NumField/NfAbs/PolyFact.jl | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/NumField/NfAbs/PolyFact.jl b/src/NumField/NfAbs/PolyFact.jl
index cac4249e70..2b080d9b38 100644
--- 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"