Next:
Which mathematical types do we
Up:
Foundations of Computer Algebra: Introduction
Previous:
The complexity of divide-and-conquer algorithms
Implementing Computer Algebra: basic ideas
Subsections
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?
Bounded genericity with dependent types
Inheritance
Post-facto extensions
Efficiency
Next:
Which mathematical types do we
Up:
Foundations of Computer Algebra: Introduction
Previous:
The complexity of divide-and-conquer algorithms
Marc Moreno Maza
2008-01-07