Effective Polynomial Computation