Work completed
Here is a list of all my the PRs that got merged during the SoC in chronological order:
- Intersection of certain ImageSet with an Interval
- Intersection of null Range and an Interval returns EmptySet
- Determine the real period of any given function
- Methods to compute the range and continuous domain of any real function
- Solver for solving equations via Decomposition and Rewriting
- Replacing
solve
withsolveset
in univariate inequality solver
Link to all my (merged) commits : Link
Work under development
During the time of final submission, the following work was under development.
Future work
Here is a list that comprises of all the ideas (which were a part of my GSoC Proposal and/or thought over during the SoC) which can extend my GSoC project.
- Implementing
BigUnion
andBigIntersection
: This would be an enhancement to representing solutions of inequalities. - Incorporating
solve_decomposition
insolveset
- Solving equations in extended real domain.