The examples for 'tellsimp' in the manual include the statement
ev (tellsimp (0^0, 1), simp: false);
I am intrigued about this form of argument "simp: false".
The description for the arguments in an 'ev' function call say about
'simp':
"simp causes expr to be simplified regardless of the setting of the switch simp
which inhibits simplification if false."
and I interpret this sentence as describing a situation like:
(%i2) simp : false$
(%i3) ev(1 + 1, simp);
(%o3) 2
rather than the previous one.
So, I wonder whether this argument "simp: false" is undocumented. If so, in
what cases does it work?, meaning, I guess, evaluate but avoiding automatic
simplification. I find that such an option, if available, could be useful
occasionally.
Alejandro Jakubi