(quote %,Matrix,Matrix)
f % g
-- yields the reduction of the columns of the matrix
f
modulo a Groebner basis of the matrix
g
.