(quote //,Matrix,RingElement)
f//r
-- yields a matrix h from a matrix f and a ring element r such that f - r*h is the reduction of f modulo a Groebner basis for the image of r times the identity matrix.
See also
%
.
