homogenize() [2/2]

ring_elem FractionField::homogenize ( const ring_elem f, int v, int deg, const std::vector< int > & wts ) const

virtual

Reimplemented from Ring.

Definition at line 662 of file frac.cpp.

{
  int d1, d2, lo1, lo2;
  ring_elem top, bottom;
  frac_elem *result;
  const frac_elem *f = FRAC_VAL(a);
  R_->degree_weights(f->numer, wts, lo1, d1);
  R_->degree_weights(f->denom, wts, lo2, d2);
  if (deg >= d1 - d2)
    {
      top = R_->homogenize(f->numer, v, deg + d2, wts);
      bottom = R_->homogenize(f->denom, v, d2, wts);
      result = make_elem(top, bottom);
    }
  else
    {
      top = R_->homogenize(f->numer, v, d1, wts);
      bottom = R_->homogenize(f->denom, v, -deg + d1, wts);
      result = make_elem(top, bottom);
    }
  return FRAC_RINGELEM(result);
}

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