s_pair()

gbvector * GBKernelComputation::s_pair ( gbvector * syz )

private

Definition at line 327 of file Eschreyer.cpp.

{
  gbvector *result = nullptr;
  monomial si = M->make_one();
  for (gbvector *f = gsyz; f != nullptr; f = f->next)
    {
      SG->schreyer_down(f->monom, f->comp - 1, si);
      gbvector *h = GR->mult_by_term(F, gb[f->comp - 1], f->coeff, si, 0);
      wipe_unneeded_terms(h);
      GR->gbvector_add_to(F, result, h);
    }
  M->remove(si);
  return result;
}

References F, gb, GR, M, monomial, gbvector::next, result(), SG, and wipe_unneeded_terms().

Referenced by calc().