GSoC 2016 - Solvers module for SymEngine

[Akash Trehan]

Hi Everyone,

I'm Akash Trehan(CodeMaxx), an undergraduate Computer Science student at IIT Bombay.

I started contributing to SymEngine a couple of months ago. It has been an enriching experience and I would really like to remain closely associated with this project in future.

I read through the GSoC Ideas page for this year and got interested in the `Solvers` module. `Solvers` are an important part of any Computer Algebra System and I would love to implement a fully functional `Solvers` module in Symengine over the summers this year. To accomodate for all the solutions I'll implement `Infinity` class which I guess can be used in Calculus module as well. A lot of work has been(and is being) done on Solvers in Sympy. I can build Symengine's own Solver along the lines of Sympy.

 

 Sympy is also trying to replace `solve` with `solveset`.Implementing `Solveset` in Symengine would require atleast some basic implementation of a `Sets` module as well. This will reduce the time spent in the implementation of the Solvers module. I would like to know everyone's opinion on which one we should follow - `solve` or `solveset` ? Or maybe a hybrid of these with both `Solve` and `Solveset` classes implemented.

 

Any other suggestions are welcome.

P.S. I've already posted this on SymEngine google group( https://groups.google.com/forum/#!topic/symengine/O3khMce0G7Q )

Cheers,

Akash