Hi Viacheslav. Thanks again. I guess that with this new feature SMath must to be very close of version 1.0.

Just a question about derivatives. Yours ode solvers returns n-1 columns for the n-degree differential equation, so: which is the better way to implement y (x) : diff(y(x),x,n) ? Because SMath diff doesn't recognize lspline.

I think in 3 or 4 ways: return n columns for the differential equation of degree n, return functions y'(x), y''(x), ... and y(x) as you do for y(x), a function like lspline(3) but for the derivative (something like dlspline) since cubic splines have information about the derivative or a diff function like matlab's, which simply calculates the difference in the values of a vector, for each column of a matrix.

But the truth is, I don't know which method could be the best, nor do I have any idea what is the best way to obtain the function derived from the result of any of your many solvers at this time.

And one last question: could it be possible to implement the graph of parametric functions in the XY Plot plugin? Something like ParamtricPlot (x (t), y (t), a, b ) and that takes the number of points from the plugin configuration, or ParamtricPlot (x (t), y (t), a, b, N ) for N subdivisions (N + 1 points) of the interval a < t < b.

Best regards.
Alvaro.

Wrote

And one last question: could it be possible to implement the graph of parametric functions in the XY Plot plugin? Something like ParamtricPlot (x (t), y (t), a, b ) and that takes the number of points from the plugin configuration, or ParamtricPlot (x (t), y (t), a, b, N ) for N subdivisions (N 1 points) of the interval a

I think it is possible to mark a "vector" variable with a tilde "~": ~t. It might look like this. I need to think about whether this will work.

Wrote

I think it is possible to mark a "vector" variable with a tilde "~": ~t. It might look like this. I need to think about whether this will work.

It looks pretty good.

In the attached an example about how to add an "extra" column to the ode solver for return the last derivative. In the "traditional" implementation it it is not necessary because it is simply the last component of D (t, Y), the argument function of the solvers for systems of differential equations. But if what you have is the higher-order differential equation, things are no longer so simple.

It also shows how to "sterilize units", an expression that I had never read or heard, but that I am copying from Pompelmo. I think it is an easy and effective way to be able to program functions like nonlinear or ode solvers that accept units.

RK23.sm (71 KiB) downloaded 73 time(s).
RK23.pdf (340 KiB) downloaded 75 time(s).

Best regards.
Alvaro.

Plugin updated.

Changes:

- added support for ODE systems with many variables;
- Adams() ode solver added (explicit Adams-Bashforth 5);
- CWD and TOL variables added;
- project restructured.

I don't know what AB method is used in Mathcad, but it clearly uses an adaptive step, since the usual explicit AB method is unstable (the small stiffness of the task makes it so).

Plugin updated.

Changes:

- Adams variable added (allows you to choose a method for the Adams() solver): "AB1".."AB8", "AB5" - default;
- CWD variable value changed.

To calculate the first steps of the method, Runge-Kutta of the 4th order is used, so while the order is not higher than the 5th it makes sense.

Plugin updated.

Changes:

- rkfixed variable added (allows you to choose a method for the rkfixed() solver: "RK1".."RK6", "RK4" - default);
- to calculate the first steps for the Adams() solver now Runge-Kutta of the 6th order is used.

Скажите пожалуйста, можно ли с помощью данного расширения производить символьные расчеты как в Маткаде или только это касается графиков. Пробую посчитать символьно передаточную функцию, задействовал Maple Tools, simplify выдал что-то не то что должен был по моим разумениям.Raschjot17.sm (24 KiB) downloaded 55 time(s).

Wrote

Скажите пожалуйста, можно ли с помощью данного расширения производить символьные расчеты как в Маткаде или только это касается графиков. Пробую посчитать символьно передаточную функцию, задействовал Maple Tools, simplify выдал что-то не то что должен был по моим разумениям.]

Это расширение большей частью реализует численные аналоги некоторых функций из Mathcad. Символьные же вычисления можно попробовать выполнять при помощи MapleTools и функции maple(). Если она работает как-то не так, то можно посмотреть о "переговорах" между движками при помощи файла лога MapleTools.log, который находится в папке с плагином, если в файле конфигурации MapleTools.config включена опция отладки (<Debug>True</Debug>.

Путь такой: %appdata%\SMath\extensions\plugins\32dfd679-8cfd-483a-b79a-19d5ea838750\

Его нужно скопировать и вставить в адресную строку Проводника. Дальше выбрать подпапку с последний версией плагина, отредактировать файл MapleTools.config при закрытой программе и запустить её снова. После этого при старте будет создаваться файл лога MapleTools.log, в котором можно увидеть что именно передаёт функция maple() в символьный движок дополнения и как тот отвечает. Ну, а дальше уже искать ошибки.

Следует также отметить, что синтаксис команды скорее всего будет отличаться, т.к. Mathcad имеет специальную обёртку, "скрывающую" некоторые дополнительные действия, чтобы перевести его запрос на понятный символьному движку "диалект". Поэтому нельзя в общем случае писать также как в Mathcad. Нужно понимать как работает Maple и быть знакомым с его командами, их форматами вызова.

Wrote

... Maple Tools, simplify выдал что-то не то что должен был по моим разумениям.Raschjot17.sm (24 KiB) downloaded 55 time(s).

Hi. Notice that SMath does not operate automatically expands matrix operations. Also, the maple's linalg package have some issues too, and sometimes needs to call evalm function, which means "eval as matrix".

If D is a scalar I suppose that the correct result is (2), but if it is a 2x2 matrix I think it is (3).

In both cases you cannot calculate A ^ (- 1) because the second column of A is zero.



Could you comment what is the expression you expect for A? Also perhaps something from this post may be useful to you: https://en.smath.com/forum/yaf_postst17472_Applications-for-equrep--expression-isolation-and-laplace-transform.aspx

Best regards.
Alvaro.

Updated test for the ODE solvers.

Section Math ODE precision (uni).sm (34 KiB) downloaded 101 time(s).

Original document: Section Math ODE precision.sm (23 KiB) downloaded 115 time(s).

I finally figured out how it works

Mathcad Block. Spring pendulum.sm (48 KiB) downloaded 109 time(s).

Plugin updated.

Changes:

- MathcadBlock improved (doesn't perform substitutions);
- File Access functions refactored;
- project restructured.

Here the variable x.min is defined above.

Plugin updated.

Changes:

- CWD and image processing functions fixed.

P.S. Found a critical issue while trying to resolve this kind of system (x'(t) and x''(t) in one equation):



The conversion of a complex system to a matrix form is not correct. A more complex algorithm is required. Only simple types of ODEs will be computed correctly.

Wrote

...

P.S. Found a critical issue while trying to resolve this kind of system (x'(t) and x''(t) in one equation):
...

Hi Viacheslav. This is a way to handle some of coupled systems. Or at least that's what I think, I hope I didn't solve it wrong.

odeCoupledExample.pdf (116 KiB) downloaded 71 time(s).
odeCoupledExample.sm (87 KiB) downloaded 67 time(s).

Best regards.
Alvaro.

Wrote

I hope I didn't solve it wrong.

These ODEs is called the Arenstorf Orbit.

lsoda.Arenstorf Orbit.sm (15 KiB) downloaded 118 time(s).
lsoda.Arenstorf Orbit.pdf (93 KiB) downloaded 112 time(s).

The problem is that I use an universal algorithm that independently searches for derivatives in equations and arranges them in a matrix. I started with low order derivatives, so the equations were solved with respect to them first. It's wrong, but it worked in simple cases. When I redid the enumeration of derivatives of higher orders, I found that I did not take into account the case of different naming of variables. In this regard, an incorrect matrix is ​​obtained and the numerical algorithm cannot find a solution.
I need to organize a double loop that first takes into account different variables, and then their derivatives.
It is strange that I didn't do this earlier, because the rest of the code is designed for this.

I had a very simple set of examples that I experimented with. As soon as I tried something more complicated - it immediately revealed the problem.

Hi Viacheslav. I guess that there are not a general form for get the ode system from a coupled system with more than one variable derivative. For instance, this is the maple function for get the system if there are only one variable: https://www.maplesoft.com/support/help/maple/view.aspx?path=DEtools%2Fconvertsys

But this other is for odes which "contains more than one function that is differentiated": https://www.maplesoft.com/support/help/maple/view.aspx?path=convert%2FODEs

There it seems that the Abel equations have some very interesting properties. The relevant point here for me is that I know about nothing about that.

But this method of isolating the second derivative for decoupling some useful equations is what I see that is useful for some usual system, for example, from lagrangian dynamics. This have some few other examples with coupled and not coupled systems with more than one dependent variable.

Examples Lagrangian.sm (1006 KiB) downloaded 70 time(s).
Examples Lagrangian.pdf (2 MiB) downloaded 62 time(s).

Best regards.
Alvaro.

Wrote

I guess that there are not a general form for get the ode system from a coupled system with more than one variable derivative.

Yes I agree, Alvaro. I meant that my algorithm is trying to convert the system of equations into a form that is understandable by numerical solvers. In our case, this is the "general form". I didn't know Maple had special features for this.

Wrote

... my algorithm is trying to convert the system of equations into a form that is understandable by numerical solvers ...

Hi. This is a way for use rk-solvers for very hard coupled systems, calling al_nleqsol with a guess for the derivatives of high order at the origin.

RKA.sm (50 KiB) downloaded 84 time(s).
RKA.pdf (309 KiB) downloaded 65 time(s).

Best regards.

Plugin updated.

Changes:

- small improvements.



7-13-Three-Planets (Mathcad Block).sm (34 KiB) downloaded 171 time(s).
7-13-Three-Planets (Mathcad Block).pdf (57 KiB) downloaded 140 time(s).

7-13-Three-Planets 2 (Mathcad Block).sm (30 KiB) downloaded 111 time(s).
7-13-Three-Planets 2 (Mathcad Block).pdf (54 KiB) downloaded 85 time(s).

7-13-Three-Planets 3 (Mathcad Block).sm (25 KiB) downloaded 97 time(s).
7-13-Three-Planets 3 (Mathcad Block).pdf (55 KiB) downloaded 96 time(s).

7-13-Three-Planets 4 (Mathcad Block).sm (30 KiB) downloaded 94 time(s).
7-13-Three-Planets 4 (Mathcad Block).pdf (73 KiB) downloaded 89 time(s).

Links:

1. Очков В.Ф., Орлов К.А., Чудова Ю.В., Ивашев А.В., Тихонов А.И. IT в инженерных расчетах: SMath & Python. Лань. 2023

Three alternative solutions for different accuracy.



7-13-Three-Planets 4 (Mathcad Block).sm (27 KiB) downloaded 62 time(s).
7-13-Three-Planets 4 (Mathcad Block).pdf (77 KiB) downloaded 64 time(s).