jmbr / cl-buchberger

Buchberger's algorithm in Common Lisp. Moved to https://git.sr.ht/~jmbr/cl-buchberger

https://git.sr.ht/~jmbr/cl-buchberger

jmbr/cl-buchberger Issues

Does not build in SBCL 2.0.9 - :initform/:type issue
Closed 4 years ago1
member-p function fails
Updated 13 years ago1
Implement polynomial factorization and use it to speed up calculations.
Updated 14 years ago
Improve performance.
Updated 14 years ago
Write Mudballs system definition.
Closed 14 years ago
Implement ideal operations
Updated 15 years ago
Implement triangularization of ideals.
Updated 15 years ago