(quote //,Matrix,Matrix)
f//g -- yields a matrix h from matrices f and g
such that f - g*h is the reduction of f modulo a Groebner basis
for the image of g.
If the remainder f - g*h is zero, then the quotient f//g
satisfies the equation f = g * (f//g).
See also % and \\.
