homogenize() [2/2]

RingElement * RingElement::homogenize	(	int	v,
		int	deg,
		const std::vector< int > &	wts ) const

Definition at line 274 of file relem.cpp.

{
  const PolynomialRing *P = R->cast_to_PolynomialRing();
  if (P == nullptr)
    {
      ERROR("expected polynomial ring");
      return nullptr;
    }
  if (v < 0 || v >= P->n_vars())
    {
      ERROR("homogenization: improper ring variable");
      return nullptr;
    }
  if (wts.size() == 0 || wts.size() != static_cast<unsigned int>(P->n_vars()))
    {
      ERROR("homogenization: improper weight function");
      return nullptr;
    }
  if (wts[v] == 0)
    {
      ERROR("homogenization: variable weight is zero");
      return nullptr;
    }
 
  RingElement *result = new RingElement(R, P->homogenize(val, v, deg, wts));
  if (error()) return nullptr;
  return result;
}

References ERROR, error(), PolynomialRing::homogenize(), PolynomialRing::n_vars(), R, result(), RingElement(), and val.