Re: [sympy] Re: Improving .subs() method issue

[HAWK]

Thank you sangyub for such detailed explanation, I really appreciate it. I
think you are right if we implement such algo for .subs(), it will just
make things complex. But was thinking that if we could try such things may
be it would make way better and I think there is a way to make it work. I
will write you back if I can make things work like I explained.

On Sat, 30 Mar 2024 at 20:30, Sangyub Lee  wrote:

> I may give the step-by-step technical explanation why eq.subs works this
> way:
>
> - The subexpressions of x**2 + 5 are x**2, and 5, which is eq.args
> - The subexpressions of x**2 are x and 2, which is (x**2).args
> - There are no subexpressions of 5, because 5 is an atom.
> - There are no subexpressions of 2, because 2 is an atom.
> - There are no subexpressions of x, because x is an atom.
>
> And the subs, (reasonably) works when the expression that is substituted,
> is equal to the expression, or its subexpressions.
> x is recursively the subexpression of x**2 + 5, so eq.subs(x, 1) works,
> however, x+1 is not the subexpression of  x**2 + 5, so eq.subs(x+1,2)
> works.
>
> Although this is not 100% everything about how subs works, however, I
> think that it explains fairly most of the logic about the subs,
> and I hope it can be useful for your programming experience with subs.
> The reason that subs(x+1, 2) does not work, is debatable that it should be
> a bug, or it should be intended part of the design,
>
> However, I'm weighted towards the opinion that it shouldn't be part of the
> design,
> because it is much more complicated and opens up much more rooms for
> extension or incompleteness, if we adopt that as part of the design.
> For example, if subs(x+1, 2) works, then we should also think of how
> subs(x**2 + 1, 2), or how subs(x**3 + 1, 2) works,
> and I'm afraid that such discussions like this clearly gets into
> discussing very complicated mathematics that you or me are not familiar
> with.
>
> On Friday, March 29, 2024 at 10:04:03 AM UTC+1 thakur.ompra...@gmail.com
> wrote:
>
>> Hello SymPy community,
>> I want to ask if you guys allow me I would like to raise a issue or we
>> can say improvement. I found .subs() amusing but I think we can upgrade
>> that. For reference when we have a equation eq=x**2+5 and then we use
>> eq.subs(x,1) it means x is replaced by 1(x-->1), that gives a simple answer
>> 6. That's totally fine but if I want to substitute a expression with
>> something, it won't work let's take the previous example, eq=x**2+5 and
>> then we use eq.subs(x+1,2) this gives old equation back, but it was
>> supposed to replace x+1 to 2 that means same as before (x-->1) and answer
>> supposed to be 6 as in real mathematics.
>> [image: Screenshot 2024-03-29 141816.png]
>>
> --
> 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/8ab1f6bc-55c1-462a-837e-400341c8d0e7n%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/CAG2MUzs4kYijrQC9Zq88mWBc2XjF4ss-gRSCFcj%3DLw83-Ct4hw%40mail.gmail.com.

[sympy] GSoC'24 proposal review and feedback

[HAWK]

Hello SymPy Community,
I am Om Prakash Singh, currently persuing my bachelor's degree from Army 
Institute of Technology, India. I am writing to express my interest in 
contributing to Sympy as part of GSoC’24.I would like to work on solverset 
project and have attached every thing in proposal.
I would be grateful if any mentor would like to extend the discussion on 
this and on a positive note, help me strengthen my proposal for the same.
Regards,
Om Prakash Singh

-- 
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/240d0541-e2df-4529-8e6d-f7d8f12905ebn%40googlegroups.com.


GSoC_SymPy.docx
Description: MS-Word 2007 document

[sympy] Improving .subs() method issue

[HAWK]

Hello SymPy community,
I want to ask if you guys allow me I would like to raise a issue or we can 
say improvement. I found .subs() amusing but I think we can upgrade that. 
For reference when we have a equation eq=x**2+5 and then we use 
eq.subs(x,1) it means x is replaced by 1(x-->1), that gives a simple answer 
6. That's totally fine but if I want to substitute a expression with 
something, it won't work let's take the previous example, eq=x**2+5 and 
then we use eq.subs(x+1,2) this gives old equation back, but it was 
supposed to replace x+1 to 2 that means same as before (x-->1) and answer 
supposed to be 6 as in real mathematics.
[image: Screenshot 2024-03-29 141816.png]

-- 
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/df05d166-eec3-4b50-b878-f8e19d02da43n%40googlegroups.com.