vec_locate_lead_term()

const vecterm * PolyRing::vec_locate_lead_term ( const FreeModule * F, vec v ) const

virtual

Implements PolynomialRing.

Definition at line 2295 of file poly.cpp.

{
  if (v == nullptr) return v;
  const vecterm *lead = v;
  const SchreyerOrder *S = F->get_schreyer_order();
  if (S)
    {
      for (vec w = v->next; w != nullptr; w = w->next)
        {
          if (S->schreyer_compare(POLY(lead->coeff)->monom,
                                  lead->comp,
                                  POLY(w->coeff)->monom,
                                  w->comp) == LT)
            {
              lead = w;
            }
        }
    }
  else
    {
      for (vec w = v->next; w != nullptr; w = w->next)
        {
          if (M_->compare(POLY(lead->coeff)->monom,
                          lead->comp,
                          POLY(w->coeff)->monom,
                          w->comp) == LT)
            {
              lead = w;
            }
        }
    }
  return lead;
}

References vec::coeff, vec::comp, FreeModule, LT, PolynomialRing::M_, POLY, and SchreyerOrder::schreyer_compare().

Referenced by vec_lead_term().