contains()

int ReducedGB::contains ( const Matrix * m )

virtual

Implements GBComputation.

Definition at line 207 of file reducedgb.cpp.

{
  // Reduce each column of m one by one.
  if (m->get_ring() != originalR)
    {
      ERROR("expected matrix over the same ring");
      return -2;
    }
 
  for (int i = 0; i < m->n_cols(); i++)
    {
      ring_elem denom;
      gbvector *g = originalR->translate_gbvector_from_vec(F, (*m)[i], denom);
 
      remainder(g, false, denom);
 
      if (g != nullptr)
        {
          R->gbvector_remove(g);
          return i;
        }
    }
  return -1;
}

References ERROR, F, Matrix::get_ring(), Matrix, Matrix::n_cols(), originalR, R, and remainder().