vec_locate_lead_term()

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

inlinevirtual

Implements PolynomialRing.

Definition at line 460 of file polyquotient.hpp.

  {
    // Returns a pointer to the lead vector of v.
    // This works if F has a Schreyer order, or an up/down order.
    return numerR_->PolyRing::vec_locate_lead_term(F, v);
  }

References PolynomialRing::numerR_.