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] <javascript:>> 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] <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/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.