I went through the work on the new module . The current new-assumptions module is extremely easy to understand, is highly clean and also makes computation much easier.
It needs to be extended to include all functionalities that the old assumptions module catered to . Listing a few these would be :
- Numbers
- Sets
- Functions
- Calculus
Also, we have to come up with new facts that can be added now in this module due to its extremely good code structure .
So my
GSOC 2014 proposal is
Integrating facts in the newassump module and adding functionalities to it , getting it ready for the upcoming releases of sympy.
I have contribute my bit in the module to get a start.
1.
https://github.com/asmeurer/sympy/pull/542.
https://github.com/asmeurer/sympy/pull/55Shipra