* Implemented Buchberger's algorith.