Hello
in many question that I asked before the answer was I should import sage: from sage.rings.polynomial.toy_buchberger import spol /.. I want to know how should I import these? I wrote these commands in sage but I've got error, so how should I use these import things?
Thank you
