RKkit
What RKkit will do:
Given a Runge-Kutta formula (by its Butcher Array, or by defining a quadrature formula), try to verify the properties of the formula.
All computation will be exact (working in the field of Algebraic numbers) or certified (using interval arithmetic).
What is working now:
- computation of the stability function.
- proof of A-stability, L-stability, Algebraic stability and simplexity.
- some minor and easy fact checking about the formula.
- plots: stability domain and Order-Star.
- compute order using rooted trees (28/11/2016).
- some Sage/Jupyter norebooks.
What is under development:
- compute B-series.
What will be developed:
- many other things!