find_ring_divisor()

bool GBKernelComputation::find_ring_divisor ( const_exponents exp, const gbvector *& result )

private

Definition at line 275 of file Eschreyer.cpp.

{
  if (!R->is_quotient_ring()) return false;
  Bag *b;
  if (!R->get_quotient_monomials()->search_expvector(exp, b)) return false;
  int index = b->basis_elem();
  result = R->quotient_gbvector(index);
  return true;
}

References int_bag::basis_elem(), R, and result().

Referenced by geo_reduce(), and reduce().