vec_locate_lead_term()

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

pure virtual

Implemented in PolyRing, and PolyRingQuotient.

Referenced by Matrix::make_monideal().