Thanks! Ondrej, I'll try to cover those points once I'm done with the timeline.
Abdullah Javed Nesar On Saturday, April 1, 2017 at 12:25:20 AM UTC+5:30, Ondřej Čertík wrote: > > On Thu, Mar 30, 2017 at 4:25 AM, Abdullah Javed Nesar > <[email protected] <javascript:>> 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] <javascript:>. > > To post to this group, send email to [email protected] > <javascript:>. > > 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/73e059c5-4925-4647-a861-873019e5a5ad%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
