lead_flat_coeff()

virtual ring_elem PolynomialRing::lead_flat_coeff ( const ring_elem f ) const

pure virtual

Implemented in PolyRing, and PolyRingQuotient.

Referenced by Matrix::make_monideal().