Update buchberger.py