Buchberger's algorithm in Egison

Requirement

Egison >= 4.0.0

Reference

• Franz Baader and Tobias Nipkow. "Term Rewriting and All That". Cambridge university press, 1999.
• 『最近、妹がグレブナー基底に興味を持ち始めたのだが。』