For a computable field F, the splitting set S is the set of polynomials p(X) ∈ F[X] which factor over F, and the root set R is the set of polynomials with roots in F. Work by Frohlich and Shepherdson ...

If \((x \pm h)\) is a factor of a polynomial, then the remainder will be zero. Conversely, if the remainder is zero, then \((x \pm h)\) is a factor. Often ...