Reimplemented in M2FreeAlgebraOrQuotient.
Definition at line 266 of file ring.hpp.
Referenced by ResolutionComputation::choose_res().