# Ivory: Indeterminates

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.