arguments: gbasis matrix >> red:matrix lift:matrix
Reduce the given matrix using the Groebner basis, obtaining the matrix red. The matrix lift is the corresponding matrix. MES ************* improve this.
