After the Kalevi’s comment

The param-rde branch is getting inconveniently big for hunting down and reviewing small changes. I think we should create another branch that would contain my original PR plus the added limited_integrate code (and optionally something else). Then that should be merged. Thereafter it would be easier to review new additions.

I decided to remove a few commits from top of param-rde branch and made the branch param-rde mergeable.

Yesterday Kalevi merged the pull request #11761, Parametric Risch differentia equation, there were quite a few problems(unrelated to my work) with travis but finally it passes the tests.

So till now these are pull requests that have been completed/started for my project:

  • Merged:

    param-rde #11761: This is the pull request that Kalevi made back in september 2016. I further made commits for limited_integration function, implementation of parametric risch differential equation, though not many tests were added in this, which should definitely be done. I haven’t been able to find tests that lead to non-cancellation cases (Kalevi mentions that we should be able to find them), so for the time being we decided to start the implementation of cancellation routines, particularly liouvillian cases (others being non-linear and hypertangent cases), there isn’t a good reason to implement the hypertangent cases right now.

  • Unmerged:

    param-rde_polymatrix this pull request is intended to use PolyMatrix instead of Matrix (it is MutableDenseMatrix), here is Kalevi’s comment regarding it: “It would also be possible to use from … import PolyMatrix as Matrix. That would hint that there might be a single matrix in the future.”. The reason for making is Matrix doesn’t play well with Poly(or related) elements.

  • Merged:

    Change printing of DifferentialExtension object, it wasn’t necessary to make this pull request, but it does help me in debugging the problems a little easier.

I was hoping that I would write a bit of mathematics in my blog posts, but unfortunately things I have dealt with till now required me to focus on programming API, introducing PolyMatrix so it deals well with the elements of Poly’s, but I am thinking this week I am going to deal with more of mathematics.

TODO for this week

I hope the next blog post is going to be a good mathematical one :)