Improving Assumptions
- Mentors
- Kalevi Suominen, Aaron Meurer
- Organization
- SymPy
This project aims to improve the capabilities of the assumptions handling sub-system in SymPy. Currently, SymPy has two such systems (the old and the new assumptions). The Old Assumptions is time-tested and fast while New Assumptions is slow but provide better logical inferences. This project targets to improve the new system in SymPy and make it faster.