lower_associate_divisor()

bool Ring::lower_associate_divisor ( ring_elem & f, ring_elem g ) const

virtual

Reimplemented in M2::RingQQ, and RingZZ.

Definition at line 297 of file ring.cpp.

{
  if (is_zero(f))
    {
      f = g;
      return !is_zero(f);
    }
  return true;
}

References is_zero().

Referenced by PolyRing::preferred_associate_divisor().