◆ is_local()

bool Monoid::is_local ( ) const

inline

Definition at line 183 of file monoid.hpp.

183{ return local_vars.size() > 0; }

std::vector< int > local_vars

These are the variables which are < 1 in the monomial order.

Definition monoid.hpp:138

References local_vars.