Hi Ondrej, Yah exactly, for the first part of the project we'll possibly rewrite the matcher somewhat similar to as explained in #7748 <https://github.com/sympy/sympy/issues/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 <https://github.com/sympy/sympy/pull/12407>, where I have shown how we will be implementing rules and designing rubi_integrate() keeping in mind all possible conditions. 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] <javascript:>> 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] <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/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.
