Definition at line 143 of file M2FreeAlgebra.hpp.
References monoid(), and FreeMonoid::numVars().
Referenced by n_vars().