Definition at line 90 of file FreeAlgebra.hpp.
References monoid(), and FreeMonoid::numVars().
Referenced by compare_elems(), eval(), and support().