remove_content()

bool binomial_ring::remove_content

(

binomial &

f

)

const

Definition at line 190 of file gb-toric.cpp.

{
  // If the monomials of f have a common monomial factor, remove it from each,
  // and
  // return true.  Otherwise return false.
  monomial m = f.lead;
  monomial n = f.tail;
  bool result = false;
  for (int i = 0; i < nvars; i++)
    {
      if (m[i] > 0 && n[i] > 0)
        {
          if (m[i] > n[i])
            {
              m[i] -= n[i];
              n[i] = 0;
            }
          else
            {
              n[i] -= m[i];
              m[i] = 0;
            }
          result = true;
        }
    }
  if (result)
    {
      set_weights(m);  // This is an inefficient way to do this...
      set_weights(n);
    }
  return result;
}

References binomial::lead, monomial, nvars, result(), set_weights(), and binomial::tail.