master
click here to add a description
click here to add a homepage
Common Lisp implementation of Buchberger's algorithm for the computation of Gröbner bases — Read more
Implement member-p, contains-p, equal-p, sum, product, union, intersection, and colon.