Welcome Guest! To enable all features please Login. New Registrations are disabled.

Notification

Icon
Error

Login


Options
Go to last post Go to first unread
Offline Dijay  
#1 Posted : 27 July 2014 09:58:00(UTC)
Dijay

Rank: Newbie

Groups: Registered
Joined: 27/07/2014(UTC)
Posts: 6
Germany

Was thanked: 1 time(s) in 1 post(s)
I like the idea to have a free "Mathcad", but since I have compared the results with Mathcad, unfortunately I and can not trust it anymoreSad . Attached there is a file showing the wrong result. I have exported the same file to mathcad and got the correct result there.
File Attachment(s):
ftbktest.sm (14kb) downloaded 56 time(s).

Wanna join the discussion?! Login to your SMath Studio Forum forum account. New Registrations are disabled.

Offline mkraska  
#2 Posted : 27 July 2014 11:57:49(UTC)
mkraska


Rank: Advanced Member

Groups: Registered
Joined: 15/04/2012(UTC)
Posts: 1,980
Germany

Was thanked: 1120 time(s) in 718 post(s)
Originally Posted by: Dijay Go to Quoted Post
I like the idea to have a free "Mathcad", but since I have compared the results with Mathcad, unfortunately I and can not trust it anymoreSad . Attached there is a file showing the wrong result. I have exported the same file to mathcad and got the correct result there.


The unreliable symbolic engine is a major problem in SMath. The bug-tracking system is full of examples. Your example is particularly critical as there is no fair chance to recognize the error unless you double check with some other software. I added a link to your example in the corresponding bug report.

SMath is a mine field and you cannot operate safely without sticking to some survival rules. One of them is to set the optimization of all definitions/assignments to numeric or none (right mouse button menu).

There have been multiple requests in the past to set the default optimization for assignments to numeric or none (ss-65) and to make the setting visible for individual formulae, perhaps using distinct assignment and evaluation operators ss-19.

I tried to support the development and application by writing a handbook and submitting bug reports and feature requests. That, however, obviously did not stop you from stepping into the optimization trap and the forum is full of similar cases. SMath would need a splash screen saying: "Always make sure that your definitions are set to "optimization none" using right mouse button menu". Better, of course, would be to have this setting by default.

I have to admit that after having used SMath for teaching for three years, I now surrender and purchase a Mathcad classroom license for our CAD/CAE lab.




Martin Kraska

Pre-configured portable distribution of SMath Studio: https://smath.com/wiki/SMath_with_Plugins.ashx
thanks 2 users thanked mkraska for this useful post.
on 27/07/2014(UTC),  on 29/07/2014(UTC)
Offline omorr  
#3 Posted : 27 July 2014 13:33:06(UTC)
omorr


Rank: Administration

Groups: Registered, Advanced Member
Joined: 23/06/2009(UTC)
Posts: 1,740
Man
Serbia

Was thanked: 318 time(s) in 268 post(s)
Unfortunately, I have to agree with Martin completely. I also think that Andrey did not expect such a great interest from the community and even greater expectations from the SMath users when he started this project. There is a bizarre thing regarding to SMath, as Martin mentioned. A Math software which is sometimes unreliable in calculating rather simple things Shok . In my opinion, If there would have been a chance to fix this, Andrey would have done this after all these years. If SMath fails to perform reliably simple algebraic calculations with few numerical variables, sooner or later - nobody will us it.

Regrettably, if Martin surrendered - there is a red light for SMath Sad . Something has to be done or Smath will die, and I think this is a fact.

Regards,
Radovan
When Sisyphus climbed to the top of a hill, they said: "Wrong boulder!"
thanks 1 user thanked omorr for this useful post.
on 29/07/2014(UTC)
Offline Dijay  
#4 Posted : 27 July 2014 13:45:53(UTC)
Dijay

Rank: Newbie

Groups: Registered
Joined: 27/07/2014(UTC)
Posts: 6
Germany

Was thanked: 1 time(s) in 1 post(s)
Thank you Martin, very helpful, and I completely agree with Radovan!




Offline mkraska  
#5 Posted : 27 July 2014 15:46:42(UTC)
mkraska


Rank: Advanced Member

Groups: Registered
Joined: 15/04/2012(UTC)
Posts: 1,980
Germany

Was thanked: 1120 time(s) in 718 post(s)
Originally Posted by: omorr Go to Quoted Post
In my opinion, If there would have been a chance to fix this, Andrey would have done this after all these years.


I disagree. Yes, it might be hard to solve the problems with the symbolic engine. I am fine with Andrey waiting for a better world to solve the problem.

But it cannot be that hard to set the default optimization to none (if I can change the setting, the core program should be able to do so as well).

Also, the distinct operators for symbolic or numeric optimization should not provide prohibitive challenges. As you can see in the live version, there is a right arrow for symbolic evaluation and a = for numeric. This used to be this way in older versions of SMath and has been removed deliberately (Mathcad patent issues?). But again: The problem is in the optimization settings of assignments, not of the evaluation/display.

I guess that the symbolic engine is something Andrey has put into quite some effort and just cannot stand the idea of switching it off by default.

This reminds me of what is known as trap of emotional commitment in mechanical design. Designers tend to use 3D CAD models right from the start of a project. They focus on details, which is immediately rewarded by nice looking models. Questioning the basic concept or even the customer's requirements does not immediately pay but can avoid failure in the long run. The further you go in detailed design, the higher the costs of and the resistance to conceptual changes.

But perhaps it is not Andrey who stepped into the trap but me and Radovan and others. Once we went through the pain of finding out how to operate SMath, we tried to reward ourselves by sharing the word to others, collecting thanks in the forum. Do you remember, how long it took for you to find out how to write ranges a = 1..10? For me, that was several days. In order to not write off this as waste of time, I wrote the handbook. And so on. But doesn't the handbook contribute to the illusion (it is an illusion, given the recent bug report by Dijay) that SMath can be used for serious work? Isn't it a danger to the public if people start to use SMath for designing real things?

A program without an active user community is dead. In order to keep the community active, there must be some safe and reliable use cases. That is why we ask for default optimization settings being None or numeric. SMath can still be very useful without symbolic optimization of assignments.





Martin Kraska

Pre-configured portable distribution of SMath Studio: https://smath.com/wiki/SMath_with_Plugins.ashx
thanks 2 users thanked mkraska for this useful post.
on 27/07/2014(UTC),  on 28/07/2014(UTC)
Offline Dijay  
#6 Posted : 27 July 2014 17:01:32(UTC)
Dijay

Rank: Newbie

Groups: Registered
Joined: 27/07/2014(UTC)
Posts: 6
Germany

Was thanked: 1 time(s) in 1 post(s)
Originally Posted by: mkraska Go to Quoted Post

But it cannot be that hard to set the default optimization to none (if I can change the setting, the core program should be able to do so as well)...Isn't it a danger to the public if people start to use SMath for designing real things?



I totally agree to this also. To set an unrelieable calculation method as default is either stupid or for test reasons. I believe in the second and this might be the reason, why we only have a draft version 0.9x up to now - that's serious and not dangerous!

The risk is to damage the Name of this Project! The author simply should find a way to warn the People when using the symbolic engine!

If I'm right and the author is interested in testing results I propose another way: Set the numeric Modus as Default, install a test button for symbolic modus and automatic comparison of the results and aks the community to help testing!
Offline omorr  
#7 Posted : 27 July 2014 17:09:39(UTC)
omorr


Rank: Administration

Groups: Registered, Advanced Member
Joined: 23/06/2009(UTC)
Posts: 1,740
Man
Serbia

Was thanked: 318 time(s) in 268 post(s)
Originally Posted by: mkraska Go to Quoted Post
Originally Posted by: omorr Go to Quoted Post
In my opinion, If there would have been a chance to fix this, Andrey would have done this after all these years.


I disagree. Yes, it might be hard to solve the problems with the symbolic engine. I am fine with Andrey waiting for a better world to solve the problem.

You are direct Martin as always Good , and I think we discussed these things many times. I do not know what is Andrey waiting for, but it is lasting to long. As far I remember, I do not think that Andrey made any detailed analysis or explanation of all the things related to symbolic engine.

Originally Posted by: mkraska Go to Quoted Post

But it cannot be that hard to set the default optimization to none (if I can change the setting, the core program should be able to do so as well).

Yes, you are right. It was proposed many time as a workaround. Of course, I do not think this would solve the problem.

Originally Posted by: mkraska Go to Quoted Post
Also, the distinct operators for symbolic or numeric optimization should not provide prohibitive challenges. As you can see in the live version, there is a right arrow for symbolic evaluation and a = for numeric. This used to be this way in older versions of SMath and has been removed deliberately (Mathcad patent issues?). But again: The problem is in the optimization settings of assignments, not of the evaluation/display.

I guess that the symbolic engine is something Andrey has put into quite some effort and just cannot stand the idea of switching it off by default.

As I said, we can only guess about all of this.

Originally Posted by: mkraska Go to Quoted Post
This reminds me of what is known as trap of emotional commitment in mechanical design. Designers tend to use 3D CAD models right from the start of a project. They focus on details, which is immediately rewarded by nice looking models. Questioning the basic concept or even the customer's requirements does not immediately pay but can avoid failure in the long run. The further you go in detailed design, the higher the costs of and the resistance to conceptual changes.

But perhaps it is not Andrey who stepped into the trap but me and Radovan and others. Once we went through the pain of finding out how to operate SMath, we tried to reward ourselves by sharing the word to others, collecting thanks in the forum. Do you remember, how long it took for you to find out how to write ranges a = 1..10? For me, that was several days. In order to not write off this as waste of time, I wrote the handbook. And so on. But doesn't the handbook contribute to the illusion (it is an illusion, given the recent bug report by Dijay) that SMath can be used for serious work? Isn't it a danger to the public if people start to use SMath for designing real things?

I still have hope that this would not be a contribution to an illusion and all of us here will not fill like losers. To be honest, in this case I felt like one many times. I would be very relieved if I could have seen the version SMath 1.0 and could have said - "That's it!".

Originally Posted by: mkraska Go to Quoted Post
A program without an active user community is dead. In order to keep the community active, there must be some safe and reliable use cases. That is why we ask for default optimization settings being None or numeric. SMath can still be very useful without symbolic optimization of assignments.


"From your words to God's ear"

Regards,
Radovan

Edited by user 27 July 2014 17:16:23(UTC)  | Reason: Not specified

When Sisyphus climbed to the top of a hill, they said: "Wrong boulder!"
Offline mkraska  
#8 Posted : 28 July 2014 19:01:58(UTC)
mkraska


Rank: Advanced Member

Groups: Registered
Joined: 15/04/2012(UTC)
Posts: 1,980
Germany

Was thanked: 1120 time(s) in 718 post(s)
I tried to nail down the problem to a minimum working example. It is still not clear to me where the symbolic problem actually is but perhaps this inspires further investigations...
File Attachment(s):
absroot.sm (5kb) downloaded 27 time(s).
mkraska attached the following image(s):
absroot.png
Martin Kraska

Pre-configured portable distribution of SMath Studio: https://smath.com/wiki/SMath_with_Plugins.ashx
thanks 1 user thanked mkraska for this useful post.
on 28/07/2014(UTC)
Offline Davide Carpi  
#9 Posted : 28 July 2014 20:02:06(UTC)
Davide Carpi


Rank: Advanced Member

Groups: Registered, Advanced Member
Joined: 13/01/2012(UTC)
Posts: 2,639
Man
Italy
Location: Italy

Was thanked: 1323 time(s) in 873 post(s)
Originally Posted by: mkraska Go to Quoted Post
I tried to nail down the problem to a minimum working example. It is still not clear to me where the symbolic problem actually is but perhaps this inspires further investigations...


A part of the issue: |0.9|

Edited by user 28 July 2014 20:05:16(UTC)  | Reason: Not specified

Davide Carpi attached the following image(s):
2014-07-28 19_01_08-SMath Studio Desktop - [absroot.sm_].png
If you like my plugins consider to support SMath Studio buying a plan; to offer me a coffee: paypal.me/dcprojects
thanks 1 user thanked Davide Carpi for this useful post.
on 30/07/2014(UTC)
Offline Andrey Ivashov  
#10 Posted : 30 July 2014 20:20:35(UTC)
Andrey Ivashov


Rank: Administration

Groups: Developers, Registered, Knovel Developers, Administrators, Advanced Member
Joined: 11/07/2008(UTC)
Posts: 1,616
Man
Russian Federation

Was thanked: 1978 time(s) in 666 post(s)
Working to fix it.

UPDATE: The issue not in abs(..) simplification.
UPDATE: Fixed.

Edited by user 30 July 2014 21:56:31(UTC)  | Reason: Not specified

thanks 4 users thanked Andrey Ivashov for this useful post.
on 30/07/2014(UTC),  on 31/07/2014(UTC),  on 31/07/2014(UTC),  on 31/07/2014(UTC)
Offline mkraska  
#11 Posted : 31 July 2014 02:34:02(UTC)
mkraska


Rank: Advanced Member

Groups: Registered
Joined: 15/04/2012(UTC)
Posts: 1,980
Germany

Was thanked: 1120 time(s) in 718 post(s)
Originally Posted by: Dijay Go to Quoted Post

If I'm right and the author is interested in testing results I propose another way: Set the numeric Modus as Default, install a test button for symbolic modus and automatic comparison of the results and aks the community to help testing!

I strongly support this proposal. This, however, would require to modify the definitions one by one and evaluate all subsequent results. This could be done in the background (with an option to switch it off). Whenever a difference occures, then the user should be offered to submit a corresponding report. That could reveal much more bugs than we can find just by chance.

Still I strongly support SS-19 and SS-65.

How about a Math region utility tool? If it is possible to change the font of text regions, then it should be possible to change all math definitions to numeric.

Martin Kraska

Pre-configured portable distribution of SMath Studio: https://smath.com/wiki/SMath_with_Plugins.ashx
Offline Davide Carpi  
#12 Posted : 31 July 2014 03:16:01(UTC)
Davide Carpi


Rank: Advanced Member

Groups: Registered, Advanced Member
Joined: 13/01/2012(UTC)
Posts: 2,639
Man
Italy
Location: Italy

Was thanked: 1323 time(s) in 873 post(s)
Originally Posted by: smath Go to Quoted Post
Fixed.

Many thanks Andrey Good

Originally Posted by: mkraska Go to Quoted Post
But it cannot be that hard to set the default optimization to none (if I can change the setting, the core program should be able to do so as well).

Also I'm waiting for another default optimization (numeric or none); as I've written in a proposal/sub-proposal in the BTS, should be hardcoded or by choice (global settings)

Originally Posted by: mkraska Go to Quoted Post
Also, the distinct operators for symbolic or numeric optimization should not provide prohibitive challenges. As you can see in the live version, there is a right arrow for symbolic evaluation and a = for numeric.

Just to introduce the taste in this small thing, I don't like very much the right arrow, I prefer something like a colored (blue?) equal an equal with a small colored s over or something else (printable by choice as for definitions); maybe could be a long step, but an advanced search tool that select math regions also by optimizations could be another way.

Originally Posted by: mkraska Go to Quoted Post
Isn't it a danger to the public if people start to use SMath for designing real things?

Maybe, but not much more than using some design software or some large spreadsheet... as usual if you don't check the results in some different way, you can fall in trouble. And knowing weaknesses most of the issues are not so problematic Good

Originally Posted by: mkraska Go to Quoted Post
If it is possible to change the font of text regions, then it should be possible to change all math definitions to numeric.
CTRL+A -> context menu choice over a single region already does the job

Edited by user 31 July 2014 03:31:51(UTC)  | Reason: Not specified

If you like my plugins consider to support SMath Studio buying a plan; to offer me a coffee: paypal.me/dcprojects
Offline mkraska  
#13 Posted : 31 July 2014 10:00:37(UTC)
mkraska


Rank: Advanced Member

Groups: Registered
Joined: 15/04/2012(UTC)
Posts: 1,980
Germany

Was thanked: 1120 time(s) in 718 post(s)
Originally Posted by: w3b5urf3r_reloaded Go to Quoted Post

Originally Posted by: mkraska Go to Quoted Post
If it is possible to change the font of text regions, then it should be possible to change all math definitions to numeric.
CTRL+A -> context menu choice over a single region already does the job

This also changes the setting of all displays to numeric, which is not what I propose, because it prevents using symbolic engine at all. It's just about the definitions (assignments), because it's their symbolic setting which causes the trouble in most cases.

Martin Kraska

Pre-configured portable distribution of SMath Studio: https://smath.com/wiki/SMath_with_Plugins.ashx
thanks 1 user thanked mkraska for this useful post.
on 31/07/2014(UTC)
Offline Dijay  
#14 Posted : 09 August 2014 11:32:58(UTC)
Dijay

Rank: Newbie

Groups: Registered
Joined: 27/07/2014(UTC)
Posts: 6
Germany

Was thanked: 1 time(s) in 1 post(s)
Many thanks to all, especially for quick Fixing the Problem. Will Keep testing.Clap
thanks 1 user thanked Dijay for this useful post.
on 09/08/2014(UTC)
Users browsing this topic
Forum Jump  
You cannot post new topics in this forum.
You cannot reply to topics in this forum.
You cannot delete your posts in this forum.
You cannot edit your posts in this forum.
You cannot create polls in this forum.
You cannot vote in polls in this forum.