from sage.rings.polynomial.toy_buchberger import spol

in the Sage command line or in the notebook, and then the spol() function becomes available for the rest of your computation. The fact that not everything is imported by default to save memory and to accelerate startup.