divide()

ring_elem FractionField::divide ( const ring_elem f, const ring_elem g ) const

virtual

Implements Ring.

Definition at line 589 of file frac.cpp.

{
  frac_elem *f = FRAC_VAL(a);
  frac_elem *g = FRAC_VAL(b);
  ring_elem top = R_->mult(f->numer, g->denom);
  ring_elem bottom = R_->mult(f->denom, g->numer);
 
  if (R_->is_zero(bottom)) return set_non_unit_frac(f->denom);
 
  return FRAC_RINGELEM(make_elem(top, bottom));
}

References frac_elem::denom, FRAC_RINGELEM, FRAC_VAL, make_elem(), frac_elem::numer, R_, and set_non_unit_frac().

Referenced by syzygy().