Implement ideal operations
jmbr opened this issue · comments
Implement member-p, contains-p, equal-p, sum, product, union, intersection, and colon.
jmbr / cl-buchberger
Buchberger's algorithm in Common Lisp. Moved to https://git.sr.ht/~jmbr/cl-buchberger