preferred_associate_divisor()

ring_elem PolyRing::preferred_associate_divisor

(

ring_elem

ff

)

const

Definition at line 459 of file poly.cpp.

{
  ring_elem result = getCoefficients()->zero();
  assert(getCoefficients()->has_associate_divisors());
  for (Nterm& t : f)
    if (!getCoefficients()->lower_associate_divisor(result, t.coeff))
      // ie it cannot change, no matter what next coeff is
      return result;
  return result;
}

References PolynomialRing::getCoefficients(), Ring::has_associate_divisors(), Ring::lower_associate_divisor(), and result().

Referenced by rawAssociateDivisor(), and rawGCDRingElement().