Definition at line 187 of file f4.hpp.
Referenced by clear_matrix(), do_spairs(), F4GB(), find_or_append_column(), and mult_monomials().