Symbolic issue in Smath Studio

Symbolic issue in Smath Studio - Differential operator fails on indexed functions - Messages

#1 Posted: 10/7/2019 1:03:02 PM
Igor Skarine

Igor Skarine

14 likes in 97 posts.

Group: User

Please see attached example.
sym_diff_issue.sm (3 KiB) downloaded 96 time(s).
#2 Posted: 10/7/2019 9:49:29 PM
Jean Giraud

Jean Giraud

983 likes in 6866 posts.

Group: User

Wrote

Please see attached example.


What about completing the code to make it profitable ?
Not new the derivative of a constant is 0.

Derivative.PNG
#3 Posted: 10/7/2019 10:07:31 PM
Alvaro Diaz Falconi

Alvaro Diaz Falconi

992 likes in 1675 posts.

Group: User

Hi Tom. maple() knows how to eval diff because, as plugin, Viacheslav (uni, plugin author) know how to handle the function el(A,k). But notice what happen with an unknoun function, like El(A,k). So, problem here is what to do with the SMath el(A,k) with the operator diff.

Clipboard02.gif

Best regards.
Alvaro.
1 users liked this post
#4 Posted: 10/8/2019 6:14:03 AM
Jean Giraud

Jean Giraud

983 likes in 6866 posts.

Group: User

Get more from the companions ...

maple D(n).PNG
#5 Posted: 10/8/2019 9:34:26 AM
Jean Giraud

Jean Giraud

983 likes in 6866 posts.

Group: User

Wrote

Hi Tom. maple() knows how to eval diff because, as plugin, Viacheslav (uni, plugin author) know how to handle the function el(A,k). But notice what happen with an unknoun function, like El(A,k). So, problem here is what to do with the SMath el(A,k) with the operator diff.


As you mentioned Ei(x), like many special functions,
you may have to rescue from infinitesimal analysis,
the ancestor of CAS.

sym_diff_issue (more).sm (12 KiB) downloaded 64 time(s).
#6 Posted: 10/8/2019 11:35:59 AM
Igor Skarine

Igor Skarine

14 likes in 97 posts.

Group: User

I think this is a bug.
If there is no evidence that variable A[k] depends on x, dA[k]/dx should be immediately set to 0.
This is the way how symbolic engine of Wolfram Mathematica works.
Probably, I made a mistake mentioning "indexed functions", the right subject name should be "indexed symbolic variables" instead.
In real case A[k] were indexed unknowns in the system of equations.
I intentionally made this example as simple as possible to make it evident.
#7 Posted: 10/8/2019 3:52:05 PM
Jean Giraud

Jean Giraud

983 likes in 6866 posts.

Group: User

Wrote

In real case A[k] were indexed unknowns in the system of equations.
I intentionally made this example as simple as possible to make it evident.


You can do lot more from lot less for real project:
1. get your function from index
2. get the partial derivatives wrt parameters in function.

sym_diff_issue (more).sm (23 KiB) downloaded 93 time(s).
  • New Posts New Posts
  • No New Posts No New Posts