Symbolic issue in Smath Studio

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

#1 Pubblicato: 07/10/2019 13:03:02
Igor Skarine

Igor Skarine

14 apprezzamenti in 97 post.

Gruppo: User

Please see attached example.
sym_diff_issue.sm (3,96 KiB) scaricato 1437 volta(e).
#2 Pubblicato: 07/10/2019 21:49:29
Jean Giraud

Jean Giraud

983 apprezzamenti in 6.866 post.

Gruppo: 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 Pubblicato: 07/10/2019 22:07:31
Alvaro

Alvaro

1.139 apprezzamenti in 1.805 post.

Gruppo: 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 utenti hanno apprezzato questo post
#4 Pubblicato: 08/10/2019 06:14:03
Jean Giraud

Jean Giraud

983 apprezzamenti in 6.866 post.

Gruppo: User

Get more from the companions ...

maple D(n).PNG
#5 Pubblicato: 08/10/2019 09:34:26
Jean Giraud

Jean Giraud

983 apprezzamenti in 6.866 post.

Gruppo: 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,37 KiB) scaricato 1459 volta(e).
#6 Pubblicato: 08/10/2019 11:35:59
Igor Skarine

Igor Skarine

14 apprezzamenti in 97 post.

Gruppo: 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 Pubblicato: 08/10/2019 15:52:05
Jean Giraud

Jean Giraud

983 apprezzamenti in 6.866 post.

Gruppo: 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,48 KiB) scaricato 1565 volta(e).
  • Nuovi post
  • Nessun nuovo post