As part of handling infinite solutions for something like (sin(x) == 0) I have started some work in https://github.com/sympy/sympy/pull/2904. After this we will be able to have intersection of many infinite imagesets with finite sets. I think we should list out other set theoretic capabilities we will be needing to handle infinite solutions.
BTW Matthew will you be a mentor for this project? The set theoretic capabilities of sympy is mainly due to you and we will needing more of them for this project. Also your Set Expression module will be useful if want return a Set as a solution. On 6 February 2014 07:06, Aaron Meurer <asmeu...@gmail.com> wrote: > You'll need an understanding of basic field theory to understand those > algorithms (maybe group theory too if they are using Galois theory). > > Aaron Meurer > > On Wed, Feb 5, 2014 at 4:09 AM, Harsh Gupta <gupta.hars...@gmail.com> wrote: >> Sorry for being passive for some days. I was busy with assignments and >> some other stuff. >> >> >>> See the work by R. Zippel and S. Landau. >> >> Are you talking these articles: >> >> http://www.sciencedirect.com/science/article/pii/074771719290004N ( A >> note on "Zippel Denesting" by Susan Landau ) >> http://www.computer.org/csdl/proceedings/focs/1989/1982/00/063496.pdf >> (Simplification of Nested Radicals by Susan Landau) >> http://www.sciencedirect.com/science/article/pii/S0747717185800146 ( >> Simplification of expressions involving radicals by Richard Zippel) >> >> I also found this article: >> http://pdf.aminer.org/001/059/825/simplification_of_nested_radicals.pdf >> (How to denest Ramanujan's Nested Radicals by Johannes Blomer) >> >> I think having general denesting techniques will be very useful when >> while working with higher order polynomials, we should try to >> implement them in sympy. I read the first article (A note on Zipple >> Denesting) and skimmed over the rest of them. It appears that all of >> them need at least some knowledge of group theory in general. I have >> no previous experience in working with group theory. So I want to know >> what is the status of group theory and field theory in Sympy? Also I >> wanted to know if it would be realistic if I read Group theory before >> the summer and add it to the GSOC idea. >> >> -- >> 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 post to this group, send email to sympy@googlegroups.com. >> Visit this group at http://groups.google.com/group/sympy. >> For more options, visit https://groups.google.com/groups/opt_out. > > -- > 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 post to this group, send email to sympy@googlegroups.com. > Visit this group at http://groups.google.com/group/sympy. > For more options, visit https://groups.google.com/groups/opt_out. -- Harsh -- 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 post to this group, send email to sympy@googlegroups.com. Visit this group at http://groups.google.com/group/sympy. For more options, visit https://groups.google.com/groups/opt_out.
