グレブナー基底を求める Buchberger's algorithm の超素朴な実装を書いてみた。 ちゃんと実装できている自信はまだない。

https://github.com/msakai/toysolver/blob/master/src/Polynomial.hs