Fabian’s blog

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:

into your sympy repo.

Some examples of what you can do (sample isympy session):

Returns None, as we do not know whether x is positive or not.

because abs() is always positive. Because exp() is always positive, the following should also be True:

but why then does it return None ?. Well, it simply is not True that exp() is always positive, it is always positive for real values, but SymPy does not assume that x is real, so you would have to specify that. This is now done with the keyword assumptions:

As you can see, now assumptions are independent objects and are not tied to symbols any more. For more examples, see the file sympy/query/tests/test_query.py

still in the TODO list:
- support for global assumptions
- solve more complex implications, like

where it should build the chain of implications even => integer => rational => real. This chain of implications currently stops at rational for efficiency reasons, because the number of facts grows in each step which makes the number of possible paths grow exponentially.

This entry was posted on Friday, June 12th, 2009 at 6:36 am and is filed under sympy, Tecnologí­a, General. You can follow any responses to this entry through the RSS 2.0 feed. You can skip to the end and leave a response. Pinging is currently not allowed.