RingElement % GroebnerBasis, see Matrix % GroebnerBasis -- calculate the normal form of ring elements and matrices using a (partially computed) Gröbner basis
RingElement // RingElement, see Matrix // Matrix -- factor a map through another
part(InfiniteNumber,InfiniteNumber,RingElement), see part(ZZ,ZZ,VisibleList,RingElement) -- select terms of a polynomial by degree or weight
part(InfiniteNumber,InfiniteNumber,VisibleList,RingElement), see part(ZZ,ZZ,VisibleList,RingElement) -- select terms of a polynomial by degree or weight