contains()

int GaussElimComputation::contains ( const Matrix * m )

virtual

Implements GBComputation.

Definition at line 406 of file gauss.cpp.

{
  if (m->get_ring() != R)
    {
      ERROR("encountered different ring");
      return -1;
    }
  // Reduce each column of m one by one.
  for (int i = 0; i < m->n_cols(); i++)
    {
      vec f = R->copy_vec(m->elem(i));
      reduce(f);
      if (f != nullptr)
        {
          R->remove_vec(f);
          return i;
        }
    }
  return -1;
}

References Matrix::elem(), ERROR, Matrix::get_ring(), Matrix, Matrix::n_cols(), R, and reduce().