17. Polynomials🔗

This page explains how to express univariate and multivariate polynomials using the definitions in Mathlib. We assume basic knowledge of both Lean and polynomials. You can find a gentler introduction to polynomials in Mathlib in Mathematics in Lean. In addition to the material covered in that book, this chapter discusses:

• leading coefficients and monic polynomials

• coefficients and degree of multivariate polynomials

1. 17.1. The polynomial ring
2. 17.2. Degree
3. 17.3. Evaluation
4. 17.4. Roots
5. 17.5. Multivariate polynomials