Implementation of solve, dsolve, laplace, ilaplace and partfrac

Both solve and dsolve support system of equations. In the case of solve, symbols are not necessary as inputs but I haven't worked on its output (issue #21 )

In the case of dsolve, initial and boundary value problems are considered (issue #120 ). The output of the current implementation of dsolve consists in equations (not functions) to deal with those solutions computed in implicit form (I'm not sure if it match with the SMT output, but the writting in implicit form is pretty useful and common).

It is also included those files related to the implementation of the Laplace transform (and its inverse), and the decomposition in simple fractions of a polynomial rational expression.


Are you sure?  I have it installed.  Surely the issue is whether it is loaded or not.  May I suggest you put these changes in a different merge request?  Semi-related: I should enable a wiki so people have a place to debug installation issues...