Yes and NO ... a:=Clear(a)=1 ... =1 is logical Yes
Smath Clear(,) does not evaporate from the kernel like Mathcad 11 equivalent.
It may clear a function, why because if you want to redefine f(a,x):=a*x
it is only necessary to re-assign the RHS.
Past SS 6179 can't tell behaviour .

Not easy to explain more generally, in fact Clear(,) is not needed
as does nothing, i.e: it does not evaporate the demand.
The great advantage of Smath is the fact that results are stored in
vector. When opening a work sheet that takes long time to calculate
results are there for quick copying result. Also useful for versions
not backward compatible as it has stored and saved results that can
re-used as is from copy/paste.
Explain from attached demo:
In the attached, there are 4 examples of fitting data sets.
Observe carefully the lengths of the model vector functions
lengths: 2, 3, 4, 3 ... the 3, 4, 3 are compatible even if
the last 3 is shorter than 4 because 3 already exists and they
don't care length 2
Now, if we disable/delete the first example length [2] thus having
3, 4, 3 we can't recover 3 ,4 ,3 ,2 and there is no way to
recover the fit of model 2
Differently, Mathcad that is a scalar CAS, compared to Smath
a vector CAS ... Mathcad wouldn't care and would solve the
examples lengths 3, 4, 3, 2

GenfitLinfit.sm (65kb) downloaded 14 time(s).

That's right, only function can be declared local.
Range series summation is the most known example.
Jean

You can use a decoration for local variables to minimize conflicts. However it is actually possible to avoid them completely; the trick to expose a variable from the input to the output is to "create and destroy" the local variables without using the input argument, then once locals are cleared you can use the input.



or in another way:

Edited by user 05 March 2019 11:16:16(UTC)  | Reason: Not specified