RingElement % GroebnerBasis -- see Matrix % GroebnerBasis -- calculate the normal form of ring elements and matrices using a (partially computed) Gröbner basis
RingElement // MonomialIdeal -- see Matrix // Matrix -- factor a map through another
RingElement // RingElement -- see Matrix // Matrix -- factor a map through another