groebner: A tiny EDSL for polynomial computations in Haskell See my blog post "Gröbner bases in Haskell" (Part I & Part II).