A Python Implementation of a Polynomial Library and Buchberger's Algorithm