vec_in_subring()

int Ring::vec_in_subring	(	int	n,
		const vec	v ) const

Definition at line 737 of file ring-vecs.cpp.

{
  const PolynomialRing *PR = cast_to_PolynomialRing();
  if (PR == nullptr || v == nullptr) return true;
  const Monoid *M = PR->getMonoid();
  for (vec w = v; w != nullptr; w = w->next)
    if (!M->in_subring(nslots, PR->lead_flat_monomial(w->coeff))) return false;
  return true;
}

References cast_to_PolynomialRing(), PolynomialRing::getMonoid(), Monoid::in_subring(), and PolynomialRing::lead_flat_monomial().

Referenced by Matrix::elim_keep(), and Matrix::elim_vars().