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/CADDwiVDR42W6jfh-8FWjUa%3DnmE8k0CiNQzANoM%3DfXQp%3DjwbJ6g%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
