S.Y.,

The only part of what you are proposing that I believe I understand is that 
you suggest sympy should avoid automatic evaluation/simplification/collapse 
of expressions. The specific example I can think of where this would often 
be useful is with differentiation (the default behavior of Derivative() 
does this, but not the convenience implementation diff()). I have certainly 
had to be careful while trying to define a partial derivative operation 
that works the way we usually use it in the physical sciences (for 
thermodynamics in particular). Can you illustrate how your proposal would 
provide a clean and mathematically sound way of defining things such as a 
total differential (e.g. df = (df/dx)_y dx + (df/dy)_x dy) and the 
derivative relationships they imply? Would this ease the handling of the 
circularity of functional dependence implied by the Euler circular chain 
rule used to figure out what combinations of measurable quantities (partial 
derivatives) will provide values for partial derivatives that cannot be 
measured directly?

I appreciate your interest in helping to improve the open source 
mathematical offerings. Can you provide a baby implementation that does not 
impinge on the intellectual property of your employer (Qanda) for us to 
consider?

A word to the wise: I know you are not a native English speaker. However, I 
think you need to be more careful about broad statements such as the one 
below.

On Wednesday, December 28, 2022 at 1:35:17 PM UTC-6 syle...@gmail.com wrote:

>
> I believe that my prompt can already address and solve the problem below, 
> and beyond the fact that the calculus is merely Turing-complete 
> (such that we can develop a library to be closed against anti-pattern 
> <https://en.wikipedia.org/wiki/Anti-pattern> practices by developers for 
> stability), 
> it also provides pretty much well-studied and uniform representation for 
> the application, without introducing some deviated object by some nerds and 
> having poorly defined calculus over it.
>
> - Abstract algebra <https://github.com/sympy/sympy/pull/19750>
> - Decimal object <https://github.com/sympy/sympy/issues/17648>
> - Algebra with SymPy <https://github.com/gutow/Algebra_with_Sympy>
> - ...
>

 I, like you, am not a mathematician by training. Your training is in 
engineering mine is in physics/chemistry. I do not claim to be cognizant of 
all details necessary to generate completely general representations of 
many mathematical operations. Thus, I am always happy to get issues with my 
understanding corrected. However, I have been working with and teaching 
about the multidimensional partial differential equations of quantum 
mechanics and thermodynamics for longer than you've been alive. They are 
very specific applications of calculus over a well specified domain. Please 
do not belittle things that allow physical scientists such as myself to 
work effectively in that domain. I suggest in the future you provide 
specific examples of where these tools do not work and then we can address 
those specific issues. It may be that a more general implementation that 
can then be used to easily provide the same behavior is possible, but we 
need specific examples.

Regards,
Jonathan

-- 
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/0dc3a3a2-60de-4c77-8118-27322aa33fd0n%40googlegroups.com.

Reply via email to