Definition at line 171 of file res-schreyer-frame.hpp.
References mRing.
Referenced by insertBasic(), rankUsingDenseMatrix(), rankUsingDenseMatrixFlint(), and ResF4toM2Interface::to_M2_MutableMatrix().