Hi Martin. I ask the same thing some time ago and the answer was that unevaluated expressions are not assumed as complex values like maple and others, but as general arrays.

You can write your own simplification routine for convert some expression in what you want.

Hope this helps.

indexing1.sm (35kb) downloaded 23 time(s).

Best regards.
Alvaro.

Hi Alvaro, your command of equrep() is really impressive and I hope that some of the stuff you designed will make it into SMath core.

As to assuming any undefined variable being an array, this is neither really implemented nor is it useful IMHO.

The following would be wrong if a and b were matrices (or whatever arrays), given that multiplication isn't by element.


Please, dear developers, don't take that as a request to suppress the last bit of symbolic simplification! I'd prefer the scalar assumption, perhaps augmented by some way to mark undefined variables as arrays. Examples would be underline or overarrow, perhaps the number of markers indicating the order (one underline - vector, two underlines - matrix).

I guess that 99% of the users would expect undefined variables to be scalars.