Symbolic issue in Smath Studio

Symbolic issue in Smath Studio - Differential operator fails on indexed functions - Сообщения

#1 Опубликовано: 07.10.2019 13:03:02
Igor Skarine

Igor Skarine

14 сообщений из 97 понравились пользователям.

Группа: User

Please see attached example.
sym_diff_issue.sm (3 КиБ) скачан 72 раз(а).
#2 Опубликовано: 07.10.2019 21:49:29
Jean Giraud

Jean Giraud

983 сообщений из 6866 понравились пользователям.

Группа: 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 Опубликовано: 07.10.2019 22:07:31
Alvaro Diaz Falconi

Alvaro Diaz Falconi

992 сообщений из 1674 понравились пользователям.

Группа: 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 пользователям понравился этот пост
#4 Опубликовано: 08.10.2019 06:14:03
Jean Giraud

Jean Giraud

983 сообщений из 6866 понравились пользователям.

Группа: User

Get more from the companions ...

maple D(n).PNG
#5 Опубликовано: 08.10.2019 09:34:26
Jean Giraud

Jean Giraud

983 сообщений из 6866 понравились пользователям.

Группа: 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 КиБ) скачан 42 раз(а).
#6 Опубликовано: 08.10.2019 11:35:59
Igor Skarine

Igor Skarine

14 сообщений из 97 понравились пользователям.

Группа: 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 Опубликовано: 08.10.2019 15:52:05
Jean Giraud

Jean Giraud

983 сообщений из 6866 понравились пользователям.

Группа: 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 КиБ) скачан 68 раз(а).
  • Новые сообщения Новые сообщения
  • Нет новых сообщений Нет новых сообщений