---
title: "Ivory: Indeterminates"
packages: ['racketWithRackCheck']
---
TODO
- Adjoin with an indeterminate `v`, which is commutative
- Start with `univariate-monomial`, i.e. individual powers `v^0`, `v^1`, `v^2`,
`v^3`, etc.
- These don't collapse since there are no identities like `d^2 = 0`, etc.
- Technically an infinite-dimensional vector space. Is this useful to our
implementation?
- Introduce other indeterminates `v1`, `v2`, etc. to get general monomials
- Introduce "degree", and `homogeneous` polynomials which sum monomials of the
same degree
- Useful for projective geometry, etc.