Definition at line 114 of file FreeAlgebraQuotient.hpp.
Referenced by is_zero(), and M2FreeAlgebraQuotient::n_terms().