formal math ?

[mehdi.rabah at gmail.com]

Hi,

I have just discovered python and it seems so easy ans so powerful to
me that it remind me matlab or maple programming language (sorry free
software purists ears).

So I was wondering if there a sort of formal math library, that can do
a thing like:

lib.solve("x+1=0")
-> x=-1

I have checked numarray and I think it can not do this.

Thanks in advance,

Mehdi