question / comments about sublis



maxima-bounces at math.utexas.edu wrote on 02/03/2009 09:34:32 AM:
 
> On 2/2/09, Barton Willis <willisb at unk.edu> wrote:
> 
> > Ignoring the sublis_apply_lambda option, it's possible to rewrite
> >  sublis.lisp to call the CL function sublis. It takes about 10 lines 
of
> >  code.
> 
> Does the 10 lines include whatever it takes to replicate the 
> features of subst?

No, $substitute has code that helps with "at" substitutions (the "atp" 
special).
Further, $substitute allows for semantic substitutions in square roots and 
etc that
sublis lacks. Finally, several option variables (opsubst, subnumsimp, 
sqrtdispflag, 
derivsubst, and exptsubst) modify $substitute, but not sublis.

Barton