number of invertible variables
Definition at line 131 of file monoid.hpp.
Referenced by has_monomials_lt_one(), is_group(), is_invertible(), and numInvertibleVariables().