Specifically I implemented BDF2; but also things are set up now to more easily implement arbitrary backward difference formulas.
I haven't actually verified the second order accuracy yet. But this pull request cleans up a lot of stuff and makes it easier to implement time discretization schemes. We'll want to formally verify second order accuracy.
Specifically I implemented BDF2; but also things are set up now to more easily implement arbitrary backward difference formulas.
I haven't actually verified the second order accuracy yet. But this pull request cleans up a lot of stuff and makes it easier to implement time discretization schemes. We'll want to formally verify second order accuracy.