Implemented in PolyRing, and PolyRingQuotient.
References var().
Referenced by Matrix::top_coefficients().