I sent some patches to sympy-patches with an initial implementation of the query system. You can check it out by pulling from my branch: git pull http://fseoane.net/git/sympy.git master into your sympy repo. Some examples of what you can do (sample isympy session): In [1]: query ...

There are comments.

This is the third time I attempt to write the assumption system. Other attempts could be described as me following the rule: “For any complex problem, there is always a solution that is simple, clear, and wrong.” My first attempt (although better than the current assumption system) did use very ...

There are comments.

El pasado jueves estuvimos en La Percha tocando algunas canciones de Antonio Vega. El vídeo se lo ha currado mi padre mezclando el sonido del directo con una grabación que hicimos en casa de Migue

LOS ESCLAVOS: homenaje a Antonio Vega from Felipe Pedregosa on Vimeo.

There are comments.

The logic module is slowly becoming useful. This week I managed to get some basic inference in propositional logic working. This should be enough for the assumption sysmtem (although having first-order inference would be cool). You can pull from my branch: `` git pull http://fseoane.net/git/sympy.git logic ...

There are comments.

The first task for my Summer of Code project is to write a nice boolean algebra module. I wanted a clean module that follows SymPy's object model and that plays well with other objects. In practice this means that it should inherit from Basic and that it should behave ...

There are comments.

As a prerequisite of my GSOC project I have to do some modifications on sympy's current logic module (see previous post), so I decided to go out and take a look at what others are doing in this area. aima-python is a project that tries to implement all algorithms ...

There are comments.

First post on my GSOC adventure. This year I got accepted in Google's summer of code program as student, and my job will be to implement the assumptions framework in SymPy. Although the project officially is only about implementing an assumptions framework, I have to prepare the ground before ...

There are comments.

I spent a lot of time trying to figure out why django removed the '+' character from the POST data retrieved via request.POST. Still don't know the reason of this behaviour, but using request.raw_post_data saved my day ...

There are comments.

Después de Mengíbar vino Martos. En este caso se trataba del "Blooms Day", un sitio para el que "un pub irlandés" es una descripción aceptable. Llegamos primero Oscar y yo, en una de esas raras ocasiones en que llegamos antes de tiempo (no hay explicación, simplemente sucedió), así que tuvimos ...

There are comments.

Realmente mi ordenador no hace nada ... sólo le echo la culpa de todo

There are comments.