*
*

- Which mathematical types do we need to implement?
- How to encode the elements of these types?
- Integers.
- Rational numbers.
- Modular Integers.
- Real algebraic numbers.
- Univariate polynomials.
- Multivariate polynomials.

- What are our requirements for the language?

2008-01-07