16. 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. 16.1. The polynomial ring
2. 16.2. Degree
3. 16.3. Evaluation
4. 16.4. Roots
5. 16.5. Multivariate polynomials