new_column()

int F4GB::new_column ( packed_monomial m )

private

Definition at line 153 of file f4.cpp.

{
  // m is a packed monomial, unique via the hash table H, B.
  column_elem c{};
  int next_column = INTSIZE(mat->columns);
  m[-1] = next_column;
  c.monom = m;
  c.head = -2;
  mat->columns.push_back(c);
  return next_column;
}

References column_elem::head, INTSIZE, mat, and column_elem::monom.

Referenced by find_or_append_column(), and mult_monomials().