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