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
%
.
Go to
main index
.
Go to
concepts index
.