is_equal()

bool FractionField::is_equal ( const ring_elem f, const ring_elem g ) const

virtual

Implements Ring.

Definition at line 371 of file frac.cpp.

{
  frac_elem *f = FRAC_VAL(a);
  frac_elem *g = FRAC_VAL(b);
  if (R_->is_equal(f->denom, g->denom))
    {
      return R_->is_equal(f->numer, g->numer);
    }
  else
    {
      ring_elem h = subtract(a, b);
      bool result = is_zero(h);
      remove(h);
      return result;
    }
}

References frac_elem::denom, FRAC_VAL, is_zero(), frac_elem::numer, R_, remove(), result(), and subtract().