These are the variables which are < 1 in the monomial order.
Definition at line 138 of file monoid.hpp.
Referenced by has_monomials_lt_one(), is_local(), and numNonTermOrderVariables().