I’ve just released the first version of cl-buchberger, a Common Lisp
implementation of Buchberger’s algorithm for the computation of
Gröbner bases.
There are many improvements waiting in the pipeline but the basic
functionality is there.
You can read more about cl-buchberger here.
