Definition at line 470 of file monoid.cpp.
References monomial_size(), and result().
Referenced by make_one(), and FreeMonoid::multi_degree().