Matrix // Matrix -- factor a map through another

Matrix // Matrix -- factor a map through another

Synopsis:

Operator: // -- a binary operator, usually used for quotient

Input:

an instance of class Matrix.

Output:

an instance of class 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:

Matrix % Matrix -- find the normal form modulo the image of a map