Definition at line 189 of file monoid.hpp.
References n_invertible_vars_.
Referenced by gbA::create(), divides(), IM2_Ring_frac(), and PolyRing::remainderAndQuotient().