Implementation of some algebraic geometry algorithms in Haskell