Hello SymPy Community! I was interested in a few ideas in the GSoC Ideas <https://github.com/sympy/sympy/wiki/GSoC-Ideas> page, and wanted to know a bit more about their usefulness to the community and expected time required to finish -
1. sympy.logic - It seems like sympy.logic has a lot of scope for improvement and development. There has been work by sd-biswas and ShubhamKJha in previous GSoC projects but some of it is unfinished. I found this issue #7175 <https://github.com/sympy/sympy/issues/7175> which lists some fixes to be made in the logic module and two open PRs #7608 <https://github.com/sympy/sympy/pull/7608> and #17609 <https://github.com/sympy/sympy/pull/17069> which aim to implement First Order Logic. There are a few more open PRs (#7555 <https://github.com/sympy/sympy/pull/7555> #2964 <https://github.com/sympy/sympy/pull/2964> #2852 <https://github.com/sympy/sympy/pull/2852>). From the comments on these, they appear to be very useful to the sympy community, but the comments were a few years ago. Are they still useful/needed? Also, would working on fixing these and maybe introducing Second Order Logic or Linear Temporal Logic be appropriate for the new reduced GSoC period, or is it too much/too less? As Jason said in the other discussion, I think it is better to finish/improve the current implementations before moving on to implement new things. As I have done a formal course on Logic for Computer Science at my college in my previous semester, my knowledge on this is still fresh and it should provide some help in researching about this further and in the project. 2. sympy.series - There were a few pointers here <https://github.com/sympy/sympy/wiki/GSoC-Ideas#series-expansions> that had me interested. First was the rs_series expansion. I could only find this implemented in polys/ring_series.py currently, so I believe the project to extend it to all functions is still relevant? At a glance, this method seems mathematically involved, and I have only done an undergraduate level course on calculus. Could anyone suggest relevant reading material for this? Also, I don't think it is possible to extend it to all sympy functions in the reduced GSoC period, but since I do not know much about it, could someone confirm whether this would be feasible in the new GSoC timeline, and how important it is currently? Another prompt was 'asymptotic series' but I could not understand much from this. Is it the extension of aseries to all functions which need a separate asymptotic expansion method? Similarly for 'improve limits - make sure all basic limits work', does this involved going through the related NotImplemented errors and implementing them? Also, I see this mentioned in the ideas page and Sachin did it in his GSoC project last year, but is a possible project idea simply fixing a bunch of open series/limits issues? Regarding these various ideas I have mentioned in sympy.series, is there any idea that the community prefers, or any idea that would be more suited to the shorter GSoC period (perhaps just fixing issues)? Is there any other idea that I have not mentioned which is more "important"? I have been working on some series related issues recently and although they are taking a long time to debug (probably due to my inexperience), I am learning a lot on the way thanks to the reviewers and have a decent understanding of how limits and series expansions are implemented in sympy. Any input from the community would be appreciated! Regards, Sidharth (0sidharth) -- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email to sympy+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/b55c595e-d9be-4f35-af9f-9a41946a4cb2n%40googlegroups.com.
