[sympy] Re: pure_literal addition to dpll2

> self._unit_prop_queue.append(abs(i)) The abs in this line is the problem. Suppose i = -x where x is an atom (a boolean variable). So i is a negative literal. Also assume: self.occurrence_count[i] > 0 not self.occurrence_count[-i] = 0 Then > self._unit_prop_queue.append(abs(i)) will

[sympy] Re: Terry Tao estimates package

I think Fredrik Johansson mentions something similar in this blog post but I could be wrong: > Good for inequalities > This is a rather specific feature request. Any CAS will let me compute so

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

Don’t review it thoroughly. I don’t expect you to understand it. I just wanted you to know it exists. On Thu, Apr 3, 2025 at 1:10 AM Krishnav Bajoria wrote: > Hello Tilo, > > I've been analyzing that PR since you pushed it. Given the size of the > code, it's taking some time to review it thoroug

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

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 appr

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

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

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

tion. > > Thanks again for your observation and guidance. I'll make sure the next > version addresses these points properly. > > Best regards, > Krishnav Bajoria. > On Sun, Mar 30, 2025 at 4:24 AM Tilo RC wrote: > >> Hi Krishnav, >> >> I skimmed through y

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

Hi Krishnav, I skimmed through your proposal. Could you make it more clear when you're paraphrasing something I wrote vs your own original thoughts? It would be good if you added footnotes for this sort of thing. Also, if you're paraphrasing stuff I wrote in particular issues, you should add links

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

> 1. Improving the performance of the underlying system. An approach here is to make better use of faster dependencies like Z3 as well as SAT solvers. This also requires rewriting the existing code to use a better approach that doesn't try to do too many things at once for simple queries. I don't

[sympy] Advice for GSoC applicants

I recently received an email asking for advice on applying to GSoC. I’m not a GSoC mentor, but have previously been a GSoC student. I hope that by sharing my answers here, I can help others who may have similar questions. Also, if I get anything wrong, please correct me. > I noticed the proj

[sympy] Re: Seeking Guidance on Contributing: No Progress with 'Easy to Fix' Issues

I presume you might be trying to do a bug fix for the GSOC requirement? I did GSoC two years ago, and finding a bug I could fix wasn't easy. What worked for me is that I would frequently check for new issues and think about whether I had any idea how to fix them. Not all issues that are easy to

[sympy] Using C in SymPy to improve speed?

Hi all, Just out of curiosity I was wondering if core functionality of SymPy could be implemented in C/C++ or some other fast language. I would imagine this would greatly improve speed. Is there some benefit to using Python for everything? Sincerely, Tilo -- You received this message becaus

[sympy] Re: Request for an update on my GSoC proposal status before REU deadline

Dear Aaron Meurer, Thanks for responding to my email. I was able to get the REU people to give me an extension until May 5th so this shouldn't be a problem anymore. Sincerely, Tilo On Tuesday, April 18, 2023 at 3:44:59 PM UTC-7 asme...@gmail.com wrote: > Hi. > > I appreciate your situation, b

[sympy] Request for an update on my GSoC proposal status before REU deadline

Hello SymPy Community, Yesterday I was admitted to an REU for over the summer. However, I'm more interested in participating in GSoC with SymPy. While I understand that decisions for GSoC won't be announced until May 4th, I have to inform the REU program by April 28th if I intend to participate

Re: [sympy] GSoC 2023 Final Proposal on Sympy Gamma

Hi Aman. I am another GSoC applicant and I wanted to let you know that when I first looked at the Sympy Gamma website I was very confused about it’s purpose. I think a redesign would be a good idea. Cool project idea! On Tue, Apr 4, 2023 at 11:25 AM Aman Kumar Shukla < theprofessionala...@gmail.co

Re: [sympy] Intro and Potential GSOC Project Ideas

Probably better to look at my proposal in the wiki page for current applications <https://github.com/sympy/sympy/wiki/GSoC-2023-Current-Applications> to get the most recent version. I've already updated it once and will be updating it. On Sunday, April 2, 2023 at 3:20:50 AM UT

Re: [sympy] Intro and Potential GSOC Project Ideas

3 at 12:26:47 AM UTC-7 asme...@gmail.com wrote: > On Wed, Mar 29, 2023 at 12:21 AM Tilo RC wrote: > >> Thank you for your response Oscar. I think I’m interested in taking a >> stab at improving the capabilities of the new assumption system to deal >> with inequalities (and p

Re: [sympy] Intro and Potential GSOC Project Ideas

ough for a summer project? Do you think this task to advanced for someone of my background? On Tuesday, March 21, 2023 at 1:23:12 PM UTC-7 Oscar wrote: > On Tue, 21 Mar 2023 at 09:02, Tilo RC wrote: > > > > Hello! My name is Tilo and I am a sophomore at Pomona College in > Clarem

[sympy] Intro and Potential GSOC Project Ideas

Hello! My name is Tilo and I am a sophomore at Pomona College in Claremont, California. Currently, I am double majoring in math and cs. I am highly interested in participating in GSoC with sympy because I believe it would be a great opportunity to enhance my programming skills and give back to