On Thu, Mar 30, 2017 at 4:25 AM, Abdullah Javed Nesar <[email protected]> wrote: > Hi Ondrej, > > Yah exactly, for the first part of the project we'll possibly rewrite the > matcher somewhat similar to as explained in #7748. But, I think we have to > keep on working on it and modifying it as we move on with the second part. > > You may have look at the PR #12407, where I have shown how we will be > implementing rules and designing rubi_integrate() keeping in mind all > possible conditions.
Perfect, thanks! That looks good. Just a note, as usual, that there might be more students applying for the given idea (Rubi in this case), and just worry about your proposal, outline how you think it should be done and what you want to do. And then if more proposals are accepted for GSoC that overlap, we will work with both accepted students to amend the work, so that both projects are complementary. Ondrej > > Abdullah Javed Nesar > > On Thursday, March 30, 2017 at 3:33:04 AM UTC+5:30, Ondřej Čertík wrote: >> >> Hi Abdullah, >> >> I read through your proposal, do I understand it correctly, that in >> the first part of the project you want to use our current pattern >> matching (or possibly improve it if needed) to represent the Rubi >> rules, and that by itself should work? And then in the second part of >> your project implement the compiler to the if/then/else form? >> >> Ondrej >> >> On Wed, Mar 29, 2017 at 2:09 PM, Abdullah Javed Nesar >> <[email protected]> wrote: >> > Thanks Aaron, >> > >> > I'll correct that. Yes, timeline is yet to do. I'm not sure how much >> > time to >> > give on Pattern Matching, I think we can't just allot a particular >> > period >> > for it although initially matcher preparation will take time but, later >> > too >> > we need to keep modifying it. >> > >> > Abdullah Javed Nesar >> > >> > On Thursday, March 30, 2017 at 1:26:44 AM UTC+5:30, Aaron Meurer wrote: >> >> >> >> I would be careful doing things like log(x*y) => log(x) + log(y). >> >> Without the proper assumptions on x and y, the expansion can be wrong, >> >> which means it could lead to a wrong answer from the integrator. In >> >> the example you give, the expansion will happen if a has the correct >> >> assumptions: >> >> >> >> >>> a = symbols('a', positive=True) >> >> >>> b, x = symbols('b x') >> >> >>> expand_log(log(a*b*x)) >> >> log(a) + log(b*x) >> >> >> >> Also, you don't have a timeline yet (I guess you know this). >> >> >> >> Aaron Meurer >> >> >> >> On Wed, Mar 29, 2017 at 3:44 PM, Abdullah Javed Nesar >> >> <[email protected]> wrote: >> >> > Hi Aaron, >> >> > >> >> > I have shared my proposal link in the GSoC website can you please >> >> > have a >> >> > look. >> >> > >> >> > Thanks, >> >> > Abdullah Javed Nesar >> >> > >> >> > On Thursday, March 30, 2017 at 1:00:54 AM UTC+5:30, Aaron Meurer >> >> > wrote: >> >> >> >> >> >> Can you give more details on how the Pattern object would implement >> >> >> partitioning? >> >> >> >> >> >> For the timeline, I think once you have the pattern matching >> >> >> working, >> >> >> and the infrastructure set up for the integrator, adding rules will >> >> >> be >> >> >> easy. So it doesn't make sense to me to split up the weeks by which >> >> >> rules will be implemented. I suspect a lot of time will be spent >> >> >> working on the pattern matcher, then on setting up the integrator, >> >> >> then implementing the rules. When the rules are being implemented, >> >> >> you >> >> >> will likely find deficiencies in the pattern matcher or in the >> >> >> integrator and they will need to be adjusted. >> >> >> >> >> >> Aaron Meurer >> >> >> >> >> >> On Wed, Mar 29, 2017 at 9:35 AM, Arihant Parsoya >> >> >> <[email protected]> wrote: >> >> >> > Hi, >> >> >> > >> >> >> > I have written my GSoC proposal here. Please give your feeback >> >> >> > so >> >> >> > I >> >> >> > can >> >> >> > improve on it. >> >> >> > >> >> >> > Regards, >> >> >> > Arihant Parsoya >> >> >> > >> >> >> > On Wednesday, March 22, 2017 at 2:03:12 AM UTC+5:30, Abdullah >> >> >> > Javed >> >> >> > Nesar >> >> >> > wrote: >> >> >> >> >> >> >> >> Hi, >> >> >> >> >> >> >> >> Francesco, the Proposal you've edited, is it final? >> >> >> >> I was looking at some transformation rules in mathematica here, I >> >> >> >> think >> >> >> >> some of them may be helpful if implemented. Other references >> >> >> >> rules >> >> >> >> and >> >> >> >> definitions, manipulation of transformation rules. I need >> >> >> >> suggestions >> >> >> >> here? >> >> >> >> Thanks! >> >> >> >> >> >> >> >> Abdullah Javed Nesar >> >> >> >> On Monday, March 20, 2017 at 9:38:25 PM UTC+5:30, Francesco >> >> >> >> Bonazzi >> >> >> >> wrote: >> >> >> >>> >> >> >> >>> I have just converted the RUBI rules in an easily parseable >> >> >> >>> format: >> >> >> >>> >> >> >> >>> >> >> >> >>> >> >> >> >>> >> >> >> >>> >> >> >> >>> https://raw.githubusercontent.com/Upabjojr/RUBI_integration_rules/master/RUBI_DownValues_FullForm.txt >> >> >> > >> >> >> > -- >> >> >> > 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 https://groups.google.com/group/sympy. >> >> >> > To view this discussion on the web visit >> >> >> > >> >> >> > >> >> >> > >> >> >> > https://groups.google.com/d/msgid/sympy/d0668734-eec5-47e2-a79b-94c00b49d0f5%40googlegroups.com. >> >> >> > >> >> >> > For more options, visit https://groups.google.com/d/optout. >> >> > >> >> > -- >> >> > 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 https://groups.google.com/group/sympy. >> >> > To view this discussion on the web visit >> >> > >> >> > >> >> > https://groups.google.com/d/msgid/sympy/ad4adb24-0352-4b59-a393-86dfca59373b%40googlegroups.com. >> >> > >> >> > For more options, visit https://groups.google.com/d/optout. >> > >> > -- >> > 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 https://groups.google.com/group/sympy. >> > To view this discussion on the web visit >> > >> > https://groups.google.com/d/msgid/sympy/6b4302ed-a289-4642-8a11-dd92af029c9e%40googlegroups.com. >> > >> > For more options, visit https://groups.google.com/d/optout. > > -- > 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 https://groups.google.com/group/sympy. > To view this discussion on the web visit > https://groups.google.com/d/msgid/sympy/5dcde756-d844-4aae-a44f-ec5db0f20c31%40googlegroups.com. > > For more options, visit https://groups.google.com/d/optout. -- 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 https://groups.google.com/group/sympy. To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/CADDwiVCBRc1fiuPphy%3D5zYmkmdr0RvM8dybeutdjx6THv4UL6g%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
