[sympy] Re: SWE-agent paper uses SymPy

2024-07-24 Thread Sangyub Lee
I notice a PR created today that is suspected to be generated by LLM (sorry if it is false accusation) Title: Fix is_zero Attribute Handling in Expression SimplificationDes… by Devansh-46 · Pull Request #26850 · sympy/sympy (github.com) However, it

Re: [sympy] Re: Manipulation of integrals using set operations on the integration domains

2024-06-06 Thread Sangyub Lee
I think that there are other problems. If we generalize the domain of integral to set, it gives incompatible definition that what we had done before. For example, Integral(f(x), (x, a, b)) and Integral(f(x), (x, b, a)) should have same value if you represent the domain as set, because the set

[sympy] Re: Add operation

2024-05-30 Thread Sangyub Lee
I think that this question is quite technical, but I may take a chance to answer this I think that you may try to fix this by adding constructor_postprocessor_mapping to corresponding vector module, as done by matrix

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

2024-03-30 Thread Sangyub Lee
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

[sympy] Re: GSOC: Pauli string algebra and fast decomposition routine

2024-03-29 Thread Sangyub Lee
I think that it is fairly a good proposal. However, the only problems are that we may not be familiar with the physics, or quantum computation, or we may not have clear roadmap whether the algorithm is significantly necessary for the module, However, if you already have self-motivated knowledge

[sympy] Re: allowing Eq as recognized subs argument?

2024-03-28 Thread Sangyub Lee
Eq is not only some semantical respresentation of equation, but also can be part of Basic. For example, we can have Eq(Eq(a, b), Eq(c, d)), f(Eq(a, b)), or something like this. So after the author's suggestion, I may believe that Eq becomes something both as a rule and a expression, while

[sympy] Re: Regarding using Algebraic methods instead of using Numerical methods in control system plots.

2024-03-01 Thread Sangyub Lee
> I've doubts about how we can use *Algebraic Methods instead of Numerical methods* to plot in Control. You have mentioned the work of this repo Hi, I’m not sure if you are expecting someone specific to answer the question, however, to give a general answer, I think that it is expected to find

Re: [sympy] Need GSoC mentors and help updating ideas page

2024-01-27 Thread Sangyub Lee
> I personally don't really like the low hanging fruit ideas because they generate a lot of low quality applications and noise, but at the same time, we have definitely had some good people in the past who have started with such projects. I only see 'noise' that GSOC seasons makes the mailing

Re: [sympy] Contribution to SymPy Projects + Polynomials representation ideas

2024-01-18 Thread Sangyub Lee
I have some questions following the results because the benchmarks of AVL implementation seems like having high variance, and also figure 3,4 looks like there AVL implementation is slower, which doesn’t seem like having explanation On Thursday, January 18, 2024 at 4:25:38 PM UTC+3 Sangyub Lee

Re: [sympy] Contribution to SymPy Projects + Polynomials representation ideas

2024-01-18 Thread Sangyub Lee
I’d like to see experiments done in Python implementation. Similarly as noted above, Python objects can’t take advantage of data structures very well, because Python objects have relatively high overhead, because they use __dict__ implementation under the hood. I have seen many issues that

Re: [sympy] Contribution to SymPy Projects + Polynomials representation ideas

2024-01-18 Thread Sangyub Lee
Do you have any link to publication or draft about your paper? On Wednesday, January 17, 2024 at 10:45:35 PM UTC+3 Spiros Maggioros wrote: > I understand, hash-table(unordered_map in c++) is the only data structures > that beats the tree representation in c++, there's drawbacks though, as you

Re: [sympy] List to Polygon

2024-01-04 Thread Sangyub Lee
I indeed think that it is confusing error, However, it may be a bit difficult to correct the error to raise the error more contextually in this case though. Because there are many variations of input, from ‚Polygon’. It is recommended to always consult the documentation before using functions,

[sympy] Re: Finding Subgroups

2023-12-20 Thread Sangyub Lee
Unfortunately, I don't think that there is any capability like AllSubgroups in GAP in SymPy GAP (ref) - Chapter 39: Groups (gap-system.org) I also tried to find solutions, but it is not very trivial at least because naive

Re: [sympy] Go a step back after a bad manipulation

2023-12-07 Thread Sangyub Lee
Jupyter notebook is already a good framework to write code like literature, and unfortunately, I don't think that we need a different tooling from SymPy to do that. I just advice to make multiple cells, structure your notebooks well, and print the intermediate results of your computation often

Re: [sympy] Re: Expressing exponents as fractions (not decimals)

2023-11-15 Thread Sangyub Lee
> In fact I thought a CAS would default to this > Chris's method works for my inline code methods (but wish they had global variables there!). Division of numeric literals is an hardcoded behavior of Python interpreter, and a hardcoded behavior of Python language itself. So it is not possible

Re: [sympy] Blog post about the the future of SymPy

2023-08-31 Thread Sangyub Lee
Thanks for the blog post. Unfortunately, I'm outside from using SymPy recently because I'm now mainly involved in projects that use React and Typescript heavily, However, I particularly find things like mathjs josdejong/mathjs: An extensive math library for JavaScript and Node.js (github.com)

[sympy] We should rename 'master' to 'main'

2023-07-17 Thread Sangyub Lee
I think that github decided to do that in 2020. And the main reason to do this is that 'master' is agreed to be politically offensive terminology: Rename offensive terminology (master) - Simon Pieters (kernel.org)