gbvector_apply()

void GBRing::gbvector_apply	(	const FreeModule *	F,
		const FreeModule *	Fsyz,
		gbvector *&	f,
		gbvector *&	fsyz,
		const gbvector *	gsyz,
		const gbvector **	elems,
		const gbvector **	elems_syz,
		const gbvector **	quotients )

Definition at line 1251 of file gbring.cpp.

{
  // modifies (f,fsyz)
  // gsyz is allowed to have negative elements.  These refer to
  // quotient ring elements.  In this case, the component that
  // is used is the lead component of f. (i.e. this is designed for
  // cancelling lead terms).
  // [combines: freemod::apply_quotient_ring_elements,
  // GBZZ_comp::apply_gb_elements]
 
  for (; gsyz != nullptr; gsyz = gsyz->next)
    {
      if (gsyz->comp < 0)
        {
          gbvector *v = mult_by_term(
              F, quotients[-1 - gsyz->comp], gsyz->coeff, gsyz->monom, f->comp);
          gbvector_add_to(F, f, v);
        }
      else
        {
          gbvector *v =
              mult_by_term(F, elems[gsyz->comp], gsyz->coeff, gsyz->monom, 0);
          gbvector_add_to(F, f, v);
          gbvector *vsyz = mult_by_term(
              Fsyz, elems_syz[gsyz->comp], gsyz->coeff, gsyz->monom, 0);
          gbvector_add_to(Fsyz, fsyz, vsyz);
        }
    }
}

References gbvector::coeff, gbvector::comp, gbvector_add_to(), gbvector::monom, mult_by_term(), and gbvector::next.