in_subring()

bool PolyRing::in_subring ( int nslots, const ring_elem a ) const

virtual

Implements PolynomialRing.

Definition at line 2108 of file poly.cpp.

{
  for (Nterm& t : a)
    if (!M_->in_subring(nslots, t.monom)) return false;
  return true;
}

References PolynomialRing::M_.

Referenced by sagbi::subduct().