vec_is_scalar_multiple()

bool Ring::vec_is_scalar_multiple	(	vec	f,
		vec	g ) const

Definition at line 951 of file ring-vecs.cpp.

{
  if (f == nullptr) return true;
  if (g == nullptr) return true;
  const PolynomialRing *PR = cast_to_PolynomialRing();
  if (PR == nullptr) return true;
  const PolyRing *PR1 = PR->getNumeratorRing();
#ifdef DEVELOPMENT
#warning "use numerator only"
#endif
  if (f->comp != g->comp) return false;
  Nterm *f1 = f->coeff;
  Nterm *g1 = g->coeff;
  ring_elem c = f1->coeff;
  ring_elem d = g1->coeff;
  vec p, q;
  for (p = f, q = g; p != nullptr && q != nullptr; p = p->next, q = q->next)
    {
      if (p->comp != q->comp) return 0;
      if (!check_nterm_multiples(PR1, p->coeff, q->coeff, c, d)) return false;
    }
  if (q == nullptr && p == nullptr) return true;
  return false;
}

References cast_to_PolynomialRing(), check_nterm_multiples(), Nterm::coeff, PolynomialRing::getNumeratorRing(), and p.