Showing substitutions in a formula

Showing substitutions in a formula - Messages

#1 Posted: 2/22/2023 6:24:11 AM
Alvaro Diaz Falconi

Alvaro Diaz Falconi

992 likes in 1674 posts.

Group: User

This function can be used to show the intermediate steps in the evaluation of simple formulas.

Evals.png

Evals.pdf (111 KiB) downloaded 168 time(s).

Evals.sm (47 KiB) downloaded 179 time(s).

Best regards
Alvaro.
3 users liked this post
Oscar Campo 2/22/2023 11:19:00 AM, Вячеслав Мезенцев 2/22/2023 6:33:00 AM, Davide Carpi 2/23/2023 10:06:00 AM
#2 Posted: 2/22/2023 6:14:35 PM
⚜ Kenny Lemens, P.E. ᵂᴵ

⚜ Kenny Lemens, P.E. ᵂᴵ

74 likes in 164 posts.

Group: User

Greetings,

I just wanted to let people know that the Alvaro's 「Evals()」 function does not work numerically; it only works as a symbolic evaluation (ie., Optimization = ☑ Symbolic). As such, it cannot be used for numerical evaluations down the line.

Regardless of the limitations, I am quite impressed by this bit of handiwork.

- Kenny Lemens, P.E. ᵂᴵ
"No matter where you go, there you are." -Buckaroo BanzaiHotkeys: https://en.smath.com/forum/resource.ashx?a=45771&b=2
1 users liked this post
Alvaro Diaz Falconi 2/22/2023 7:11:00 PM
#3 Posted: 2/22/2023 7:14:48 PM
Alvaro Diaz Falconi

Alvaro Diaz Falconi

992 likes in 1674 posts.

Group: User

Hi Kenny, thanks. It is absolutely true, I completely forgot that the purpose is necessarily not only to show the calculation, but to use it later. Well, though, at least it's not a 3-order-of-magnitude error, like the one I recently had.

This version saves in the first argument the numerical value of the evaluated formula. The rest of the code and the behavior stays the same.

Evals.png

Evals v2.sm (65 KiB) downloaded 121 time(s).

Evals v2.pdf (147 KiB) downloaded 97 time(s).

Best regards.
Alvaro.
2 users liked this post
Davide Carpi 2/23/2023 10:06:00 AM, ⚜ Kenny Lemens, P.E. ᵂᴵ 2/27/2023 2:38:00 PM
#4 Posted: 3/29/2023 8:33:24 PM
Alvaro Diaz Falconi

Alvaro Diaz Falconi

992 likes in 1674 posts.

Group: User

Version with uncertainties calculations added.

unc.png

EvalsWithErr.sm (90 KiB) downloaded 102 time(s).

EvalsWithErr.pdf (215 KiB) downloaded 87 time(s).

Best regards.
Alvaro.
2 users liked this post
Laurent Fournier 4/5/2023 12:49:00 PM, sergio 3/30/2023 9:29:00 AM
#5 Posted: 7/3/2023 3:40:06 PM
Wesly Centerwall

Wesly Centerwall

26 likes in 156 posts.

Group: User

Hi Alvaro,

Great work with this.
From an engineering calculation point of view, I think the additional intermediate steps are a little much. When checking a traditional SMath calculation, the biggest complaint is that the reviewer has to always flip back, or look back at the definitions of variables to see what values are being used in the given formula. Makes the checking process a bit tedious.
What has always been missing from SMath was simply showing the substituted values as defined before the final result. (Only one step)
As others have already posted, there are some tricks with optimization, but these quickly fall apart with units other than default units, and decimal values.

Any way to modify your function to do something like this?:
2023-07-03 14_26_52-SMath Solver 1.0.8348 - [Evals v2.sm_].png

The function can of course be hidden in a table for a cleaner look. I also only showed the variable defined as an example. There would be no need to show this result again.
I honestly think the black units in the calculations is great, as it helps separate defined units from calculated units.

Would also be great to use definitions that are outside of the "Evals" function. This way variables can still be defined in one place, and values don't need to be re-entered.
Let me know what you think.
#6 Posted: 7/3/2023 9:17:42 PM
Alvaro Diaz Falconi

Alvaro Diaz Falconi

992 likes in 1674 posts.

Group: User

Hi. This could be a first approach.

Clipboard01.png

EvalsWithErr with modifications.sm (100 KiB) downloaded 102 time(s).
EvalsWithErr with modifications.pdf (283 KiB) downloaded 91 time(s).

Best regards.
Alvaro
1 users liked this post
churichuro 7/4/2023 2:57:00 PM
#7 Posted: 7/4/2023 2:56:54 PM
churichuro

churichuro

28 likes in 79 posts.

Group: User

awesome!
1 users liked this post
Alvaro Diaz Falconi 7/4/2023 6:59:00 PM
#8 Posted: 7/6/2023 12:37:08 PM
Wesly Centerwall

Wesly Centerwall

26 likes in 156 posts.

Group: User

So I honestly think the original input was fine. Defining variables in a mathcad window is a bit annoying.
The only change I think is needed, but seems to be very hard or impossible, it to define the variables, used in the formula, outside of the evals function.
The best I can come up with requires you to define a second time what units are used for each variable used.
2023-07-06 11_25_25-SMath Solver 1.0.8348 - [Evals v2-N.sm_].png
As you can see the variables are defined as any other variable in a calculation sheet and can be used in other formulas.
There is a vector that lists the units for each variable again. This is used to remove the unit when used in the Evals() function.
It seems like there is no way to do this without manually specifying the unit because there is no way to convert the variable exactly as defined into a string, you need to divide out the unit to keep the same numerical value. So there is no way to take the b:=17.3 lb and convert that definition into a string exactly as I show it. It would be nice if this was automatic, but I don't this is possible with how SMath is programed.

A note is that the first step in the substitution seems to reduce the units automatically. It would be nice to just show the initial substitution without any simplification or elimination of units in this first step.

I also changed the way the final unit is shown, so that it matches the blue color of other units.
2023-07-05 19_06_54-SMath Solver 1.0.8348 - [Evals v2-N.sm].png
Since in a table region you can display units in blue using "S:'" before the unit text.

Evals v2-N.sm (28 KiB) downloaded 74 time(s).
#9 Posted: 7/6/2023 2:39:15 PM
Alvaro Diaz Falconi

Alvaro Diaz Falconi

992 likes in 1674 posts.

Group: User

Wrote

... Defining variables in a mathcad window is a bit annoying....



Hi. Yes, it is. But is the only way that I know to 'hold' an expression. Like in Mathematica Hold[x] or maple 'x'. I ask for that function here.

Best regards.
Alvaro.
#10 Posted: 5/23/2024 11:24:55 PM
Wesly Centerwall

Wesly Centerwall

26 likes in 156 posts.

Group: User

Hi Alvaro,

I've been looking into this concept again and I was hoping you could help me with some ideas/issues.

As it seems, the equation written within the Evals() function has to be with a,b,c.. or m1,m2,m3.. so alphabetical or numerical order, and this order matches the order of the listed values within Evals() as well.
2024-05-23 11_45_40-SMath Solver - [EvalsWithErr with modifications.sm_].png

There seems to a couple of issues with the order in which values are shown in the original equation vs. the later substitution steps, as well as how the units are shown for the substitution.

So here is what I envision as working well.

We can list variables as we normally do, and they can have any variable name, not just a,b,c or m1,m2,m3.
The Evals() function will require to specify the formula with the same variables you previously listed. Maybe listing the formula and the variables is enough and we don't need to list the variables again?
Then you need to specify how many decimal places you need, but it would be nice to not have trailing zeros so that substituted values look the same as previously listed.
Then we can specify the final unit we want for the result.

We don't need to show any steps and the substitution can be only a visual, the evaluation can be done like normal in the background and simply assigned to the variable listed.
2024-05-23 12_17_11-SMath Solver - [EvalsWithErr with modifications.sm_].png

Do you think something like this can be possible?
#11 Posted: 5/24/2024 8:27:22 AM
Alvaro Diaz Falconi

Alvaro Diaz Falconi

992 likes in 1674 posts.

Group: User

Hi. Something like this? (Examples at the end)

EvalsWithErr with modifications - examples.sm (109 KiB) downloaded 74 time(s).

Clipboard01.png

Best regards.
Alvaro.
#12 Posted: 5/24/2024 9:57:12 AM
Wesly Centerwall

Wesly Centerwall

26 likes in 156 posts.

Group: User

Hi Alvaro,

That is a start, but I still have some questions/clarifications.

Is there no way to define the variables outside of the MathCAD region?
In the original Evals(), both the question and the output unit were defined within the Evals() function, this is fine.

Any way to just show the unit after each value instead of showing the units grouped together?
In ne we have lb outside parenthesis, and in the other it is showing m^2 instead of two m units.

Also, is the order not controllable? We specified 2c+b+a, but get b+a+2c.
#13 Posted: 5/24/2024 11:25:44 AM
Alvaro Diaz Falconi

Alvaro Diaz Falconi

992 likes in 1674 posts.

Group: User

Hi. Mathcad solve block is the only way that I know about preventing evaluation. I don't see how do anything else, without something like the Mathematica's Hold or maple's uneval functions:

From https://www.maplesoft.com/support/help/maple/view.aspx?path=uneval

c2.png

From https://reference.wolfram.com/language/ref/HoldForm.html

c1.png

Best regards.
Alvaro.
#14 Posted: 5/24/2024 11:40:52 AM
Wesly Centerwall

Wesly Centerwall

26 likes in 156 posts.

Group: User

Sadly, this is the main issue.

Everything is fine for default units, but if anything is not in default, it is immediately converted, and the value as displayed is lost.

2024-05-24 00_32_39-SMath Solver - [Worksheet1_].png

There seems to be no way other than the MathCAD region to do this at the moment.

By the way, I made a new post showing a manual way to achieve this that is probably as much if not less work that what is already required for your Evals(s) function.

For now, I think that the manual method is as good as it gets until there is a change within SMath.

Andrey said he was going to try and prioritize it, but that was a while back.
I think there are a lot of people who want this and are willing to contribute financially to make this happen. Maybe we need to do a crowd funding round?
#15 Posted: 5/25/2024 4:37:45 PM
Alvaro Diaz Falconi

Alvaro Diaz Falconi

992 likes in 1674 posts.

Group: User

Another option (Version 3)

ev.png

Evals v3.sm (62 KiB) downloaded 82 time(s).

Evals v3.pdf (159 KiB) downloaded 73 time(s).

Best regards.
Alvaro.
2 users liked this post
Oscar Campo 5/25/2024 6:29:00 PM, Вячеслав Мезенцев 5/26/2024 4:05:00 PM
#16 Posted: 5/26/2024 12:33:39 PM
Wesly Centerwall

Wesly Centerwall

26 likes in 156 posts.

Group: User

This is better, actually not bad at all.
Can you make it so that the formula is input directly into Ev() along with the output unit?
That way eq only contains the variables, since this part won't be hidden.
The Ev() function will be hidden in a table region to clean it up nice.

2024-05-26 01_29_17-SMath Solver - [Evals v3.sm_].png

Also, any way to get 500 up on top next to unit?
#17 Posted: 5/27/2024 8:35:03 AM
Wesly Centerwall

Wesly Centerwall

26 likes in 156 posts.

Group: User

One more thing that I noticed when testing.
Seems like the MathCAD blocks don't like subscripts on variables.

This of course messes up the Ev() function, but the result is still correct, just not he visual.

2024-05-26 21_30_42-SMath Solver - [Evals v3.sm_].png
1 users liked this post
Alvaro Diaz Falconi 5/29/2024 10:27:00 PM
#18 Posted: 5/29/2024 10:42:01 PM
Alvaro Diaz Falconi

Alvaro Diaz Falconi

992 likes in 1674 posts.

Group: User

Wrote

... Can you make it so that the formula is input directly into Ev() along with the output unit? ...



Hi. I don't see how to do that, without Mathcad solve block to prevent the evaluation of the arguments of the function. This is what the function F gets as arguments

Clipboard01.png

Best regards.
Alvaro.
#19 Posted: 5/29/2024 10:46:59 PM
Wesly Centerwall

Wesly Centerwall

26 likes in 156 posts.

Group: User

I’m confused because on your original Evals() function everything was input into the Evals() function. We can’t have the variables listed in the MathCAD block and the rest like it was before?
#20 Posted: 5/29/2024 10:51:03 PM
Martin Kraska

Martin Kraska

1222 likes in 2150 posts.

Group: Moderator

I guess the formatting problem can be solved by applying curly braces (they seem to never harm) in the string representation.

2024-05-29 17_49_58-SMath Solver - [Worksheet2_].png
Martin Kraska Pre-configured portable distribution of SMath Studio: https://en.smath.info/wiki/SMath%20with%20Plugins.ashx
  • New Posts New Posts
  • No New Posts No New Posts