So the GSoC coding period is going to end. Here I am writing what I did, my todo list and suggestions for future work.
One can see the progress report of each week and minutes of meeting here : GSoC-2016-Solvers-Progress
My all the PRs link is here : sympy/pulls/shekharrajak
I have created a vertical timeline to show all the work in chrononical order in this link : timeline
I find one issue : #11534 in mailing list discussion. This shows that we need better
invertmethod for inverting nested roots/powers equtions in
and this #11528.
factor_listwill be helpful in factoring the equation in
solvesetand solve for it factors and union the solution(during the PR #11188 discussion with Harsh this idea came out). It will actually replace the elif f.is_Mul and all(_is_finite_with_finite_vars(m, domain) statement in
factor_listwill be used soon.