lead_flat_monomial()

virtual const_monomial PolynomialRing::lead_flat_monomial ( const ring_elem f ) const

pure virtual

Implemented in PolyRing, and PolyRingQuotient.

Referenced by Matrix::coeffs(), SchreyerOrder::create(), Matrix::koszul(), Matrix::koszul_monomials(), Matrix::make_monideal(), makemonideal(), and Ring::vec_in_subring().