These are chat archives for symengine/symengine
sympy.polys.ring_series.pyand then use those in our
Seriesclass (no matter how we call it). This is definitely going to work for Taylor series, and I think it can be extended for Laurent. I am not sure about Puiseux yet. Once this is implemented and it works, only then we should translate to C++. As to CSymPy, we currently don't have a polynomial code. I am trying to use Piranha, or we need to write our own. SymPy already has the infrastructure. So a series proposal, in my opinion, should first implement that in SymPy, get it merged, and only then port to C++. Let me know your thoughts.
@certik I'll answer in points:
Seriesclass for Sympy, we do have a starting point in this PR. We can cherry-pick the required commits and then modify them.
Series. Once that is done, I think it would be a good idea to also use the poly module for calculating limits (i.e in gruntz)
Now, regarding my proposal for the summer, the way I see it, it would be very difficult to get a
Series class based on
poly merged into Sympy before the application period ends. However, I don't yet see enough work in
Series for Sympy for the whole of summer.
But what I could do is to get a working
Series merged into Sympy in the first part of my project and then implement it in C++ in the second part. Is a cross Sympy-CSympy proposal possible?
Having said that, we still don't have our Polynomial module (in CSympy). If we do decide against using Piranha, I could implement it in C++, as Sympy's poly module is much more mature.
What do you think?
solvers. Harsh who worked on improving SymPy solvers last year said that with the sets module extended,the solver was made exhaustive and consistent and easily extendible in future. So, action plan on implementation of other modules need be thought of, for solver, sets and polynomials being the necessary ones.
sympy.polys.polyrootsare in direct relation with the solver, hence in my first half I can implement some of these. Since the polynomial module is vast, we have to think on what has to be implemented and what not.This is just a suggestion, we can discuss on this or any other alternatives. Your views @certik, @shivamvats ?