Re: [sympy] Inquiry About GSoC Parsing Project

2024-04-08 Thread Aaron Meurer 
Did you already submit your proposal? The deadline to submit was last
week, and we are unable to extend it.

Aaron Meurer

On Mon, Apr 1, 2024 at 6:48 AM Aquazod  wrote:
>
> Hello,
> My name is Assem Ali and I'm currently working on my proposal for the Parsing 
> project.
>
> First of all, I know that I'm really late but I had a job and I needed to 
> quit it to find time to work on the proposal and I couldn't quit it before 
> the 26th of this month.
>
> The Parsing project caught my interest and I read about the work that was 
> done at GSoC 2019 regarding the C & Fortran parsers. Here
>
> My question is, what is the best plan to follow? should I propose to 
> implement parsers for Julia and Octave, or propose to improve the current C & 
> Fortran parsers?
>
> My original plan was to create Julia & Octave parsers, and then work on 
> optimizing the C parser in case there is time left or in case the deadline 
> will be expanded. I picked the C parser specifically because it had the 
> lowest test coverage rate.
>
> My other question is if it will be so late to post my proposal here at 1st 
> April.
>
> Can potential mentors Jason Moore or Sam Brockie reply to me please.
>
> Thank you in advance!
>
> Kind Regards.
>
> --
> 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 view this discussion on the web visit 
> https://groups.google.com/d/msgid/sympy/3709d308-3834-4450-8881-fdcce5a6db18n%40googlegroups.com.

-- 
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 view this discussion on the web visit 
https://groups.google.com/d/msgid/sympy/CAKgW%3D6%2BSMBbwAS_phYgLsR%2BAjq2DFTvcnzKChZG3nQex%2B1RgRQ%40mail.gmail.com.

Re: [sympy] Diffgeom needs some major rethinking

2024-04-08 Thread Aaron Meurer 
I would open an issue to discuss this, if you haven't already. These
sorts of issues relating to what Add class is used to represent sums
generally end up being pretty tricky and involve a lot of subtleties.

Aaron Meurer

On Mon, Apr 8, 2024 at 12:33 PM Davide Pittet  wrote:
>
> I think that the main problem is that we "delegate" the sum of tensors to the 
> Add class, allowing to sum apples with pears; e.g. we can create an object 
> that is the sum of a vector and a covector like e_x + dx, when they really 
> belong to different spaces, without getting an error. This reflects in 
> cascade to the whole submodule: the sum of two tensor products is a tensor 
> and should be treated as such, not as a generic Add instance, because there 
> are constraints that are not taken into account; extending the previous 
> example, we cannot sum TensorProduct(e_x, dx) with TensorProduct(dx, e_:x).
>
> Then, we have to implement the associativity of the tensor product and the 
> distributivity of the tensor product wrt the sum.
>
> Once this is fixed we have to put a constraint on the number and the type of 
> the arguments of the __call__ method and this should solve the problems 
> pointed out on GitHub.
>
> Davide Pittet
>
> Il giorno lunedì 8 aprile 2024 alle 10:06:46 UTC+2 asme...@gmail.com ha 
> scritto:
>>
>> Your contributions are definitely welcome, although it would be a good
>> idea to first lay out exactly what changes you want to make, either
>> here or on an issue. If any of the changes are controversial, or would
>> break the current API, we should iron them out before you potentially
>> waste a lot of time coding them.
>>
>> If there's any changes you want to make that aren't potentially
>> controversial, like bugfixes, you don't need to open issues for them
>> first.
>>
>> Aaron Meurer
>>
>> On Sun, Apr 7, 2024 at 2:02 PM Davide Pittet  wrote:
>> >
>> > Hello everyone,
>> >
>> > following up the discussion on GitHub related to the WedgeProduct bug, I 
>> > started exploring the code around the implementation of wedge and tensor 
>> > products. I think there are deep problems with the way tensor products 
>> > (but not only) are implemented in the diffgeom submodule.
>> >
>> > I would like to address these issues, but it would be my first 
>> > contribution and I do not think it will be a simple task. I have a good 
>> > knowledge of the theoretical field as my MSc thesis applied differential 
>> > geometry to particle physics and I would like to help, but I would surely 
>> > appreciate some guidance with the code, primarely on the direction we want 
>> > to follow.
>> >
>> > Davide Pittet
>> >
>> >
>> > --
>> > 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 view this discussion on the web visit 
>> > https://groups.google.com/d/msgid/sympy/f480cb78-3741-484a-bc32-1535cbab177bn%40googlegroups.com.
>
> --
> 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 view this discussion on the web visit 
> https://groups.google.com/d/msgid/sympy/5ea6ca99-0cc9-4190-8817-c8ba5da1a9a8n%40googlegroups.com.

-- 
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 view this discussion on the web visit 
https://groups.google.com/d/msgid/sympy/CAKgW%3D6L5fEWMYe%2BG_rRNpUFRsxjZ3UVsxpdCC%3Dze_BWUCsiRoA%40mail.gmail.com.

[sympy] GSOC 24 Proposal - Series Expansion and Limit Computations

2024-04-08 Thread Atharva Kadam 
Hello SymPy Community,

I am Atharva Kadam. I'm currently studying Bachelor in Computer Science at 
the University of New Brunswick, Canada. I wanted to submit my GSOC 2024 
application for the Improving Series Expansion Project.

I would highly appreciate any feedback that my Mentor will give and I'm 
open to any discussion that will help me get on this Project

Proposal - 
https://docs.google.com/document/d/155N7U2f8ZO42GGclTfDZeOVdkp__jxZY1uc5nw1KwKg/edit?usp=sharing

Sincerely
Atharva Kadam

-- 
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 view this discussion on the web visit 
https://groups.google.com/d/msgid/sympy/b9a003ae-c2fc-4fa5-8c14-e5c6b6440636n%40googlegroups.com.

[sympy] GSOC 24 Proposal - Improving Series Expansion and Limit Computations

2024-04-08 Thread Atharva Kadam 
Hello Sympy community
I am Atharva, a third-year undergrad studying at the University of New 
Brunswick, Canada. My major is Computer Science and would like to propose 
my application for GSOC 2024 on the Project - Improving Series Expansion 
and Limit Computations

I would highly appreciate any feedback or discussion to help me strengthen 
my proposal

Proposal - 
https://docs.google.com/document/d/155N7U2f8ZO42GGclTfDZeOVdkp__jxZY1uc5nw1KwKg/edit?usp=sharing

Sincerely
Atharva Kadam

-- 
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 view this discussion on the web visit 
https://groups.google.com/d/msgid/sympy/e30ac1e1-6e4f-425d-be98-95f77d294c5dn%40googlegroups.com.

Re: [sympy] Inquiry About GSoC Parsing Project

2024-04-08 Thread Aquazod 
Thank you for the clarification Jason, I appreciate it!

May you please give me some hints regarding the issue #15166 
. I wanted to solve it and I 
have a cloned version of SymPy on my local environment, however, I don't 
get how to run the tests at sympy\parsing\autolev\test-examples , for 
example, I noticed that the input file ruletest1.al is not connected to 
ruletest1.py . I will be grateful if you explain it to me.

Assem

On Monday, April 1, 2024 at 3:03:58 PM UTC+2 moore...@gmail.com wrote:

> Hi Assem,
>
> Sam and myself are unlikely to mentor a project on parsers, as we don't 
> have much familiarity with that.
>
> Jason
> moorepants.info
> +01 530-601-9791 <(530)%20601-9791>
>
>
> On Mon, Apr 1, 2024 at 2:48 PM Aquazod  wrote:
>
>> Hello, 
>> My name is Assem Ali and I'm currently working on my proposal for the 
>> Parsing project.
>>
>> First of all, I know that I'm really late but I had a job and I needed to 
>> quit it to find time to work on the proposal and I couldn't quit it before 
>> the 26th of this month.
>>
>> The Parsing project caught my interest and I read about the work that was 
>> done at GSoC 2019 regarding the C & Fortran parsers. Here 
>> 
>>
>> My question is, what is the best plan to follow? should I propose to 
>> implement parsers for Julia and Octave, or propose to improve the current C 
>> & Fortran parsers?
>>
>> My original plan was to create Julia & Octave parsers, and then work on 
>> optimizing the C parser in case there is time left or in case the deadline 
>> will be expanded. I picked the C parser specifically because it had the 
>> lowest test coverage rate.
>>
>> My other question is if it will be so late to post my proposal here at 
>> 1st April.
>>
>> Can potential mentors Jason Moore or Sam Brockie reply to me please.
>>
>> Thank you in advance!
>>
>> Kind Regards.
>>
>> -- 
>> 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 view this discussion on the web visit 
>> https://groups.google.com/d/msgid/sympy/3709d308-3834-4450-8881-fdcce5a6db18n%40googlegroups.com
>>  
>> 
>> .
>>
>

-- 
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 view this discussion on the web visit 
https://groups.google.com/d/msgid/sympy/77504386-97d5-4581-812b-34f59bb7a1f7n%40googlegroups.com.

Re: [sympy] Diffgeom needs some major rethinking

2024-04-08 Thread Davide Pittet 
I think that the main problem is that we "delegate" the sum of tensors to 
the Add class, allowing to sum apples with pears; e.g. we can create an 
object that is the sum of a vector and a covector like e_x + dx, when they 
really belong to different spaces, without getting an error. This reflects 
in cascade to the whole submodule: the sum of two tensor products is a 
tensor and should be treated as such, not as a generic Add instance, 
because there are constraints that are not taken into account; extending 
the previous example, we cannot sum TensorProduct(e_x, dx) with 
TensorProduct(dx, e_:x). 

Then, we have to implement the associativity of the tensor product and the 
distributivity of the tensor product wrt the sum.

Once this is fixed we have to put a constraint on the number and the type 
of the arguments of the __call__ method and this should solve the problems 
pointed out on GitHub.

Davide Pittet

Il giorno lunedì 8 aprile 2024 alle 10:06:46 UTC+2 asme...@gmail.com ha 
scritto:

> Your contributions are definitely welcome, although it would be a good
> idea to first lay out exactly what changes you want to make, either
> here or on an issue. If any of the changes are controversial, or would
> break the current API, we should iron them out before you potentially
> waste a lot of time coding them.
>
> If there's any changes you want to make that aren't potentially
> controversial, like bugfixes, you don't need to open issues for them
> first.
>
> Aaron Meurer
>
> On Sun, Apr 7, 2024 at 2:02 PM Davide Pittet  wrote:
> >
> > Hello everyone,
> >
> > following up the discussion on GitHub related to the WedgeProduct bug, I 
> started exploring the code around the implementation of wedge and tensor 
> products. I think there are deep problems with the way tensor products (but 
> not only) are implemented in the diffgeom submodule.
> >
> > I would like to address these issues, but it would be my first 
> contribution and I do not think it will be a simple task. I have a good 
> knowledge of the theoretical field as my MSc thesis applied differential 
> geometry to particle physics and I would like to help, but I would surely 
> appreciate some guidance with the code, primarely on the direction we want 
> to follow.
> >
> > Davide Pittet
> >
> >
> > --
> > 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 view this discussion on the web visit 
> https://groups.google.com/d/msgid/sympy/f480cb78-3741-484a-bc32-1535cbab177bn%40googlegroups.com
> .
>

-- 
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 view this discussion on the web visit 
https://groups.google.com/d/msgid/sympy/5ea6ca99-0cc9-4190-8817-c8ba5da1a9a8n%40googlegroups.com.

Re: [sympy] Diffgeom needs some major rethinking

2024-04-08 Thread Aaron Meurer 
Your contributions are definitely welcome, although it would be a good
idea to first lay out exactly what changes you want to make, either
here or on an issue. If any of the changes are controversial, or would
break the current API, we should iron them out before you potentially
waste a lot of time coding them.

If there's any changes you want to make that aren't potentially
controversial, like bugfixes, you don't need to open issues for them
first.

Aaron Meurer

On Sun, Apr 7, 2024 at 2:02 PM Davide Pittet  wrote:
>
> Hello everyone,
>
> following up the discussion on GitHub related to the WedgeProduct bug, I 
> started exploring the code around the implementation of wedge and tensor 
> products. I think there are deep problems with the way tensor products (but 
> not only) are implemented in the diffgeom submodule.
>
> I would like to address these issues, but it would be my first contribution 
> and I do not think it will be a simple task. I have a good knowledge of the 
> theoretical field as my MSc thesis applied differential geometry to particle 
> physics and I would like to help, but I would surely appreciate some guidance 
> with the code, primarely on the direction we want to follow.
>
> Davide Pittet
>
>
> --
> 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 view this discussion on the web visit 
> https://groups.google.com/d/msgid/sympy/f480cb78-3741-484a-bc32-1535cbab177bn%40googlegroups.com.

-- 
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 view this discussion on the web visit 
https://groups.google.com/d/msgid/sympy/CAKgW%3D6KCBy4LEN%2BT3DrmrVkk2dsydXLpxQo9RY5eW1t_HX_EvA%40mail.gmail.com.