Definition at line 146 of file gbring.hpp.
Referenced by divide_exponents(), exponent_syzygy(), exponents_make(), GBRing(), and n_vars().