some links

acer — Fri, 02 Dec 2011 21:41:26 Z

You could have a look at this kind of thing (and also the various links at the bottom of that Comment, and others' Answers).

acer

Thanks

trosenberger — Sat, 03 Dec 2011 01:48:47 Z

Thanks, Acer for your help.

The solution I will try to use for a while is:

> show:=proc(expr::uneval)

subsindets(expr,And(name,satisfies(t->type(eval(t),constant))),``@eval) = eval(expr):

end proc:

Using that procedure in a variable assignment seems to be working fine, even with expressions involving fractional exponents expressed by a variable.

I haven't tried anything involving matrices or calculus yet.

TWER