Reformat grobner module for conversion
Almost finish the grobner module