changed to remove zero from ideal generators
fixed zero-dimensional test
remove zero from ideal when buchberger
aded Ord instance for Plynomials