monomial_divisor()

void PolyRing::monomial_divisor ( const ring_elem a, exponents_t exp ) const

virtual

Reimplemented from Ring.

Definition at line 2137 of file poly.cpp.

{
  exponents_t exp1 = newarray_atomic(int, n_vars());
  for (Nterm& t : a)
    {
      M_->to_expvector(t.monom, exp1);
      exponents::gcd(n_vars(), exp1, exp, exp);
    }
}

References ExponentVector< int, true >::gcd(), PolynomialRing::M_, PolynomialRing::n_vars(), and newarray_atomic.