Added grobner-basis algorithm. Need to check and complete