s_pair()

resterm * res_comp::s_pair ( res_pair * fsyz ) const

private

Definition at line 722 of file res-a1.cpp.

{
  p->syz = R->new_term(K->from_long(1), p->base_monom, p->first);
  monomial si = M->make_one();
  M->divide(p->base_monom, p->first->base_monom, si);
  resterm *result = R->mult_by_monomial(p->first->syz, si);
  ring_elem one = K->from_long(1);
  if (p->second != nullptr)
    {
      p->syz->next = R->new_term(K->from_long(-1), p->base_monom, p->second);
      M->divide(p->base_monom, p->second->base_monom, si);
      R->subtract_multiple_to(result, one, si, p->second->syz);
    }
  M->remove(si);
  K->remove(one);
  return result;
}

References K, M, monomial, p, R, and result().

Referenced by handle_pair().