Implementations for Polynomials in Reals and Finite Fields (Mods)