2
votes
1answer
125 views

Bounding $p$-adic valuations in inequality

I'm developing an algorithm that comes across inequalities of the form \begin{align*} \operatorname{ord}_p(c(b)) > \alpha \end{align*} for some polynomial $c \in \mathbb{Q}[b]$, $c(b) = c_0 + c_1b + ...