---
title: "Ivory: Polynomials"
packages: ['racketWithRackCheck']
---
TODO

 - Extend `univariate-monomial` in a different way by summing them
 - Useful for approximating behaviour/functions. Mention Chebyshev polynomials,
   spread polynomials, etc.
 - Mention rational expressions as better-behaved when far away; mention Taylor
   series (and "on-sequences") as iteratively approximating to arbitrary
   precision, but having undecidable equality/normal-form
 - Introduce differentiation by evaluating at `v+d`: polynomials are closed
 - How to introduce integration? As anti-derivative?