Added redundant polynomial elimination from groebner basis calculation