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
<abduljaved1...@gmail.com> 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
>> <parsoya...@gmail.com> 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 sympy+un...@googlegroups.com.
>> > To post to this group, send email to sy...@googlegroups.com.
>> > 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 sympy+unsubscr...@googlegroups.com.
> To post to this group, send email to sympy@googlegroups.com.
> 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 sympy+unsubscr...@googlegroups.com.
To post to this group, send email to sympy@googlegroups.com.
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/CAKgW%3D6Lyu3jsh-ro%2BUsZ_JcggQpE3vDMerWx5sNRe9iHp3phbA%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.
