Neither qualified nor particularly well qualified to mentor this project. For me the sets module was a good example of how to cleanly represent and simplify expressions; I wasn't interested in the mathematical details of how such simplifications are accomplished. I'm more interested in infrastructure than in actual mathematics.
That being said, I depend on SymPy's solvers quite a bit, and so strongly encourage projects that improve them. On Thu, Feb 13, 2014 at 9:48 AM, Harsh Gupta <[email protected]>wrote: > 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 <[email protected]> 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 <[email protected]> > 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 [email protected]. > >> To post to this group, send email to [email protected]. > >> 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 [email protected]. > > To post to this group, send email to [email protected]. > > 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 [email protected]. > To post to this group, send email to [email protected]. > 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sympy. For more options, visit https://groups.google.com/groups/opt_out.
