Actually usable groebner basis calculator