Hi, It would be great if any possible mentors could provide their input on this.
Regards, Sidharth (0sidharth) On Saturday, February 13, 2021 at 10:54:34 AM UTC+5:30 Sidharth wrote: > 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/2d2e529d-9abc-457c-9120-35a9a4e001d2n%40googlegroups.com.