On Fri, Feb 12, 2021 at 10:24 PM Sidharth <sidharthmundhr...@gmail.com> wrote: > > Hello SymPy Community! > > I was interested in a few ideas in the GSoC Ideas page, and wanted to know a > bit more about their usefulness to the community and expected time required > to finish - > > 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 which > lists some fixes to be made in the logic module and two open PRs #7608 and > #17609 which aim to implement First Order Logic. There are a few more open > PRs (#7555 #2964 #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.
Yes, I think this project is still useful. Some of the pull requests from older projects were not merged because they were not able to be finished. It would be good to finish them up so they can be merged. Personally, I would focus just on second order logic for a project. Other logics like modal logic are less important for SymPy, and they would require a good standard second order logic foundation to implement well anyway. Note that project sizes are reduced this year compared to previous GSoC years, so focusing just on second order logic, including finishing up previous work as appropriate, is a good project size. Others will have to provide updates on the state of the series module as I haven't followed the recent developments there too closely. Aaron Meurer > > > sympy.series - There were a few pointers here 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. -- 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/CAKgW%3D6LPH8tEkhg%2Bm2VL8zhjm2ApHv%3D4Re%3DDsQLNh32tCvwj%2Bw%40mail.gmail.com.
