Finally complete conversion of grobner module