Sympy Core

It was good seminar. It was more of a philosophical discussion for me because I knew broad outline of the code. It’s not present in a state where I can model mathematical structures because he is often change the logic layer of the code. So, at least for the time being, I have decided that I will a pursue a new project. Actually it’s not a new one, I have thought about it for a while. I wanted to translate Sympy’s core from Python to Haskell. I thought I should begin this somewhere in August. I can’t do it now because I haven’t learned Haskell yet. Actually I am little afraid that it may give a hard time while learning it.
So, I am going to switch Haskell with Scala for now.  But in future, I am definitely going to rewrite the code in Haskell.

Coming to the main thing, that is to translate Sympy core in Scala. The core has evolved like crazy, over the years, I guess. I presently have two points from where I can try to understand the core. The first start point is try to understand the code of the first version of sympy i.e, version 0.2 (as per google code). The other is ready the current core. I think, present core of is almost impossible to understand from the ground level because it’s too vast and complex. So, I will start with sympy-0.2 core and try to build a reasonably working interface. Once it starts working, I will try to read the new code base and change the core or I will write core module in different way.  Any way, my first goal is to write sympy-0.2 core.

I am thinking than writing a summary at the end of week I will keep writing on a post and I’ll update it till the week-end. And as the new week starts, I will start with a new post. Yosh! Ikuzo…


Working with Scala

This summer I am going to work on Proving Ground, an automated theorem prover, written in Scala by professor Siddhartha Gadgil. I am mostly going to model mathematical objects starting with algebraic objects like groups. I’ll post weekly summary of my work.

As of now, my Scala skills are poor. I seriously need to improve them to write to good code and good amount of code. I had plans of reading Complex Analysis – T. Gamelin. But now, I don’t think it’s possible now because I just want to concentrate on the project heavily.

Today there is seminar on Automated reasoning by professor in which he will explain the current code base of Proving Ground and have some general discussion on using computers in mathematics. In the evening, I’ll write a short summary of the seminar. That’s all for now.