52f12e5 Style fixes.

~jmbr pushed to ~jmbr/cl-buchberger git

5f2d903 Simplify loop bounds.

~jmbr pushed to ~jmbr/cl-buchberger git

#1 Replace index set (used in PAIR-MEMBER and GROEBNER) by a more efficient data structure.

~jmbr commented on cl-buchberger todo

76dd47e Represent set of pairs of indices as a hash table.

~jmbr pushed to ~jmbr/cl-buchberger git

#1 Replace index set (used in PAIR-MEMBER and GROEBNER) by a more efficient data structure.

~jmbr filed ticket on cl-buchberger todo

dc81522 Improve loop legibility.

~jmbr pushed to ~jmbr/cl-buchberger git

7dd6c17 Credit bug reporter.

~jmbr pushed to ~jmbr/cl-buchberger git

002ceda Enhance README file and create AUTHORS and THANKS files.

~jmbr pushed to ~jmbr/cl-buchberger git

79443a7 Simplify COND test form.

~jmbr pushed to ~jmbr/cl-buchberger git

cfa29ab Use local nickname for PARSER package.

~jmbr pushed to ~jmbr/cl-buchberger git

77d8cbe Expand test suite.

~jmbr pushed to ~jmbr/cl-buchberger git

77d8cbe Expand test suite.

~jmbr pushed to ~jmbr/cl-buchberger git

40825cd Add pre-commit hooks to settle text file conventions.

~jmbr pushed to ~jmbr/cl-buchberger git

40825cd Add pre-commit hooks to settle text file conventions.

~jmbr pushed to ~jmbr/cl-buchberger git

15c3487 Fix indentation in README.

~jmbr pushed to ~jmbr/cl-buchberger git