gbvector_lead_term()

gbvector * GBRing::gbvector_lead_term	(	int	n,
		const FreeModule *	F,
		const gbvector *	f )

Definition at line 440 of file gbring.cpp.

{
  (void) F;
#ifdef DEVELOPMENT
#warning "Schreyer order question"
#endif
  if (v == nullptr) return nullptr;
  if (nparts < 0)
    {
      return gbvector_copy_term(v);
    }
  else
    {
      int nslots = M->n_slots(nparts);
      gbvector head;
      gbvector *result = &head;
      for (const gbvector *t = v; t != nullptr; t = t->next)
        {
          if (M->compare(nslots, t->monom, v->monom) != 0) break;
          result->next = gbvector_copy_term(t);
          result = result->next;
        }
      result->next = nullptr;
      return head.next;
    }
}

References gbvector_copy_term(), M, gbvector::monom, gbvector::next, and result().