Implemented in MarkedGB, ReducedGB_Field, ReducedGB_Field_Local, and ReducedGB_ZZ.
References POLY.
Referenced by contains(), matrix_lift(), and matrix_remainder().