remainder() [1/2]

void MarkedGB::remainder ( gbvector *& f, bool use_denom, ring_elem & denom )

virtual

Implements ReducedGB.

Definition at line 182 of file reducedgb-marked.cpp.

{
  //  return geo_remainder(f,use_denom,denom);
  gbvector *zero = nullptr;
  gbvector head;
  gbvector *frem = &head;
  frem->next = nullptr;
  gbvector *h = f;
  exponents_t EXP = ALLOCATE_EXPONENTS(R->exponent_byte_size());
 
  while (!R->gbvector_is_zero(h))
    {
      R->gbvector_get_lead_exponents(F, h, EXP);
      int x = h->comp;
      int w = T->find_divisor(EXP, x);
      if (w < 0)
        {
          frem->next = h;
          frem = frem->next;
          h = h->next;
          frem->next = nullptr;
        }
      else
        {
          POLY g = polys[w];
          R->gbvector_reduce_with_marked_lead_term(F,
                                                   Fsyz,
                                                   head.next,
                                                   h,
                                                   zero,
                                                   leadterms[w],
                                                   g.f,
                                                   zero,
                                                   use_denom,
                                                   denom);
        }
    }
  h = head.next;
  f = h;
  R->gbvector_sort(F, f);
}

References ALLOCATE_EXPONENTS, gbvector::comp, ReducedGB::F, POLY::f, ReducedGB::Fsyz, leadterms, gbvector::next, POLY, ReducedGB::R, T, x, and zero.