Definition at line 368 of file res-schreyer-frame.hpp.
Referenced by computeIdealQuotient(), and createQuotientElement().