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 ...

Higher Dividing and factorising polynomial expressions Factor theorem A polynomial is an algebraic expression involving many terms and can be factorised using long division or synthetic division.