Re: [sympy] GSoC 2025: Seeking Feedback on Assumptions System Research & GSoC Project Choice

[Tilo RC]

Krishnav, you might also want to take a quick look at this PR I'm working 
on: https://github.com/sympy/sympy/pull/27835

Tilo Reneau-Cardoso


On Wednesday, April 2, 2025 at 9:46:03 AM UTC-7 bajoria...@gmail.com wrote:

> Hi Tilo and Aaron,
>
> Thank you both for your insights!
>
> To Tilo, I appreciate you pointing me to the assumptions page—I wasn’t 
> aware of some of the details, and it was really informative to read 
> through.
> 
>   To 
> Aaron, thanks for elaborating on the evolution of the assumptions system 
> and its implications. Your explanation and the slides provided great 
> clarity on the reasoning behind both approaches.
> 
>   I’ll reflect on what I’ve 
> learned from this discussion and see how I can incorporate it into my GSoC 
> project and proposal.
>
> Best regards,
> Krishnav Bajoria.
>
>

-- 
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 visit 
https://groups.google.com/d/msgid/sympy/da8fc0f6-c575-4a40-b9d9-0f24a455261en%40googlegroups.com.

[sympy] GSoC 2025: Seeking Clarification and Feedback

[Kasen Groth]

Hello SymPy Community,

My name is Kasen Groth and I have been looking at a few of the listed 
projects for GSoC 2025 and am requesting some clarification and feedback 
for two of the project ideas, those being for polynomial GCD and ODEs.

Firstly, on the project of implementing new algorithms for computing the 
greatest common factor of polynomials in sparse representation. Would these 
be univariate or multivariate polynomials, or would this be bound by my 
project proposal?

Secondly, for a project focusing on univariate polynomials, I would like to 
explore the work of W.S. Brown, particularly his "Algorithm C," which 
computes the GCD of sparse polynomials. His approach provides a structured 
way to handle polynomial sparsity, and I would be interested in assessing 
its computational efficiency in different cases. Would integrating this be 
within the expected scope?

Finally, for a project centered around finding integrating factors for 
second-order ODEs, would this be an implementation of the method discussed 
within E.S. Cheb-Terrab and A.D. Roche's paper, or would it extend beyond 
that scope?

Thank you!
Kasen Groth

-- 
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 visit 
https://groups.google.com/d/msgid/sympy/38ac1a18-6aef-4024-b4e0-432b53f39c1fn%40googlegroups.com.

Re: [sympy] GSoC 2025: Seeking Feedback on Assumptions System Research & GSoC Project Choice

[Krishnav Bajoria]

Hi Tilo and Aaron,

Thank you both for your insights!

To Tilo, I appreciate you pointing me to the assumptions page—I wasn’t
aware of some of the details, and it was really informative to read
through.

  To
Aaron, thanks for elaborating on the evolution of the assumptions system
and its implications. Your explanation and the slides provided great
clarity on the reasoning behind both approaches.

  I’ll reflect on what I’ve
learned from this discussion and see how I can incorporate it into my GSoC
project and proposal.

Best regards,
Krishnav Bajoria.

-- 
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 visit 
https://groups.google.com/d/msgid/sympy/CAF0TZutyhy5xyHRUD5SV2P24fR2zBQ85aZxqemKUrVmYSZxppA%40mail.gmail.com.

RE: [sympy] Efficient Equations of Motion Generation

[peter.stahlecker]

Dear Luis, 

 

I did not doubt your statement.

Just due to my limited python knowledge I simply cannot see what you changed.

 

Good luck!

 

Peter

 

From: sympy@googlegroups.com  On Behalf Of LUIS ANGEL 
MELENDEZ CHAVERO
Sent: Wednesday, April 2, 2025 1:04 PM
To: sympy 
Subject: Re: [sympy] Efficient Equations of Motion Generation

 

 

Hi Peter,

Thank you very much for your reply!

To be honest, I'm still learning Python and SymPy. When I generated a cProfile 
report, I got the following results: 
https://github.com/LuisOfL/GSoC2025-SymPy/blob/main/cProfile.txt. It’s worth 
noting that I may have misunderstood the 25% — it refers to a specific function 
call, not the overall class.

In the link I shared with you, the line
1 0.000 0.000 0.380 0.380 lagrange.py:174(form_lagranges_equations)
was reduced from ~0.380 s to ~0.285 s in the cProfile output.

On Tuesday, April 1, 2025 at 10:27:11 PM UTC-6 peter.st...@gmail.com 
  wrote:

Dear Luis,

 

likely my python / sympy knowledge is not good enough, but I do not see any 
difference in 27870 between what was and what you did.

Yet you get 25% speed improvement.

 

Best regards,

 

Peter

 

From: sy...@googlegroups.com   
mailto:sy...@googlegroups.com> > On Behalf Of LUIS 
ANGEL MELENDEZ CHAVERO
Sent: Tuesday, April 1, 2025 11:02 PM
To: sympy mailto:sy...@googlegroups.com> >
Subject: Re: [sympy] Efficient Equations of Motion Generation

 

Hi,

I hope you're doing well.

I just wanted to follow up on my GSoC 2025 proposal for the SymPy project 
(Efficient Equations of Motion Generation). Based on your previous feedback, 
I’ve made some improvements to both the proposal and the contribution itself.

I ran some profiling to identify bottlenecks, made a focused optimization in 
lagrange.py, and also put together a Jupyter notebook with the results.

Here’s the updated patch:
🔗 https://github.com/sympy/sympy/pull/27870

If you have a moment to take another look, I’d really appreciate any additional 
thoughts or suggestions—especially if there’s anything else I should refine or 
explore further.

Thanks again for your time and support!

Best,
Luis

 

 

On Sunday, March 30, 2025 at 11:38:54 PM UTC-6 moore...@gmail.com 
  wrote:

Dear Luis,

 

Thank you for your interest. I scanned your PR and proposal. Unfortunately, 
these ideas are not well aligned with the needs of the SymPy Mechanics package. 
I suggest doing more research on what the issues are regarding efficient 
equation generation and reworking your proposal. To improve the generation you 
would need to profile the code in slow examples and find ways to speed them up. 
Using simplification routines will most likely always slow them down.

 

Jason

moorepants.info  
+01 530-601-9791  

 

 

On Mon, Mar 31, 2025 at 7:34 AM LUIS ANGEL MELENDEZ CHAVERO 
mailto:dreaml...@gmail.com> > wrote:

Hello everyone,

I'm applying for GSoC 2025 with SymPy and would like to share my draft proposal 
for feedback.

Project: Efficient Generation of Equations of Motion
GitHub Notebook: https://github.com/LuisOfL/GSoC2025-SymPy/blob/main/GSoC.ipynb
Pull Request:    
https://github.com/sympy/sympy/pull/27858

I welcome any feedback to improve my proposal before I officially submit it.

Thanks in advance! 

-- 
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 visit 
https://groups.google.com/d/msgid/sympy/4ac5826c-841a-4e41-9751-6f7828aa2ad3n%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+un...@googlegroups.com  .

To view this discussion visit 
https://groups.google.com/d/msgid/sympy/a4599617-f8e8-471d-9990-8015dbad05f8n%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 visit 
https://groups.google.com/d/msgid/sympy/532a2586-3074-4ffe-beac-044904cfb7e0n%40googlegroups.com
 

 .

-- 
You received this me

Re: [sympy] Efficient Equations of Motion Generation

[LUIS ANGEL MELENDEZ CHAVERO]

Hi Peter,

Thank you very much for your reply!

To be honest, I'm still learning Python and SymPy. When I generated a 
cProfile report, I got the following results: 
https://github.com/LuisOfL/GSoC2025-SymPy/blob/main/cProfile.txt. It’s 
worth noting that I may have misunderstood the 25% — it refers to a 
specific function call, not the overall class.

In the link I shared with you, the line
1 0.000 0.000 0.380 0.380 lagrange.py:174(form_lagranges_equations)
was reduced from ~0.380 s to ~0.285 s in the cProfile output.
On Tuesday, April 1, 2025 at 10:27:11 PM UTC-6 peter.st...@gmail.com wrote:

> Dear Luis,
>
>  
>
> likely my python / sympy knowledge is not good enough, but I do not see 
> any difference in 27870 between what was and what you did.
>
> Yet you get 25% speed improvement.
>
>  
>
> Best regards,
>
>  
>
> Peter
>
>  
>
> *From:* sy...@googlegroups.com  *On Behalf Of *LUIS 
> ANGEL MELENDEZ CHAVERO
> *Sent:* Tuesday, April 1, 2025 11:02 PM
> *To:* sympy 
> *Subject:* Re: [sympy] Efficient Equations of Motion Generation
>
>  
>
> Hi,
>
> I hope you're doing well.
>
> I just wanted to follow up on my GSoC 2025 proposal for the SymPy project 
> (Efficient Equations of Motion Generation). Based on your previous 
> feedback, I’ve made some improvements to both the proposal and the 
> contribution itself.
>
> I ran some profiling to identify bottlenecks, made a focused optimization 
> in lagrange.py, and also put together a Jupyter notebook with the results.
>
> Here’s the updated patch:
> 🔗 https://github.com/sympy/sympy/pull/27870
>
> If you have a moment to take another look, I’d really appreciate any 
> additional thoughts or suggestions—especially if there’s anything else I 
> should refine or explore further.
>
> Thanks again for your time and support!
>
> Best,
> Luis
>
>  
>
>  
>
> On Sunday, March 30, 2025 at 11:38:54 PM UTC-6 moore...@gmail.com wrote:
>
> Dear Luis,
>
>  
>
> Thank you for your interest. I scanned your PR and proposal. 
> Unfortunately, these ideas are not well aligned with the needs of the SymPy 
> Mechanics package. I suggest doing more research on what the issues are 
> regarding efficient equation generation and reworking your proposal. To 
> improve the generation you would need to profile the code in slow examples 
> and find ways to speed them up. Using simplification routines will most 
> likely always slow them down.
>
>  
>
> Jason
>
> moorepants.info
> +01 530-601-9791 <(530)%20601-9791>
>
>  
>
>  
>
> On Mon, Mar 31, 2025 at 7:34 AM LUIS ANGEL MELENDEZ CHAVERO <
> dreaml...@gmail.com> wrote:
>
> Hello everyone,
>
> I'm applying for GSoC 2025 with SymPy and would like to share my draft 
> proposal for feedback.
>
> Project: Efficient Generation of Equations of Motion
> GitHub Notebook: 
> https://github.com/LuisOfL/GSoC2025-SymPy/blob/main/GSoC.ipynb
> Pull Request:  https://github.com/sympy/sympy/pull/27858
>
> I welcome any feedback to improve my proposal before I officially submit 
> it.
>
> Thanks in advance! 
>
> -- 
> 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 visit 
> https://groups.google.com/d/msgid/sympy/4ac5826c-841a-4e41-9751-6f7828aa2ad3n%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+un...@googlegroups.com.
>
> To view this discussion visit 
> https://groups.google.com/d/msgid/sympy/a4599617-f8e8-471d-9990-8015dbad05f8n%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 visit 
https://groups.google.com/d/msgid/sympy/532a2586-3074-4ffe-beac-044904cfb7e0n%40googlegroups.com.

Re: [sympy] Private emails about GSOC

[Jason Moore]

Dear Oscar,

Thanks for pointing this out and stating your approach.

I also decline to answer any personal emails about GSoC applications. I
hope that all of our potential mentors do the same thing.

We should simply direct the applicants to the email list.

Jason
moorepants.info
+01 530-601-9791


On Wed, Apr 2, 2025 at 5:48 PM Oscar Benjamin 
wrote:

> Hi all,
>
> Many people interested in GSOC have emailed me privately or have
> shared documents with me to review their proposals. I want to be clear
> that:
>
> - I have not replied to anyone in private.
> - I am not going to reply to any private emails about GSOC.
> - I am not going to offer feedback on any documents that are shared
> with me privately.
>
> I have commented on some proposals/questions publicly on the mailing
> list but the list has been flooded with these and altogether there are
> just too many to reply to. Please don't think though that emailing me
> privately means that I am more likely to respond because I am
> definitely not going to reply to any private emails about this.
>
> Oscar
>
> --
> 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 visit
> https://groups.google.com/d/msgid/sympy/CAHVvXxQbwxb%3DvdKdtBOFU%3DR0uLrwZJ2tY8seMj%2BW63OtkMAQ9Q%40mail.gmail.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 visit 
https://groups.google.com/d/msgid/sympy/CAP7f1AhEgsKVMpjqR9zWM0frA-eCn%3DgFWcpdHit%2BKfGavNtFAQ%40mail.gmail.com.

[sympy] Private emails about GSOC

[Oscar Benjamin]

Hi all,

Many people interested in GSOC have emailed me privately or have
shared documents with me to review their proposals. I want to be clear
that:

- I have not replied to anyone in private.
- I am not going to reply to any private emails about GSOC.
- I am not going to offer feedback on any documents that are shared
with me privately.

I have commented on some proposals/questions publicly on the mailing
list but the list has been flooded with these and altogether there are
just too many to reply to. Please don't think though that emailing me
privately means that I am more likely to respond because I am
definitely not going to reply to any private emails about this.

Oscar

-- 
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 visit 
https://groups.google.com/d/msgid/sympy/CAHVvXxQbwxb%3DvdKdtBOFU%3DR0uLrwZJ2tY8seMj%2BW63OtkMAQ9Q%40mail.gmail.com.

[sympy] Request for Review: Bug Fix in SAT/SMT Solver

[Tilo RC]

Hi all,

Is anyone familiar with SAT solvers who could review a recent bug fix for 
SymPy’s logic module?

Here’s the PR: https://github.com/sympy/sympy/pull/27735

Thanks in advance!
Tilo Reneau-Cardoso

-- 
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 visit 
https://groups.google.com/d/msgid/sympy/f41e6982-6320-4a02-bd45-827567c0afddn%40googlegroups.com.