Paul Wang is pwang@cs.kent.edu
http://monkey.cs.kent.edu/~pwang/
You could ask him .
Andrei Zorine wrote:
> After changing the mabs-subst function I get limit(abs(x),x,0) = 0 and
> no tests break. I replaced
> (COND ((ZEROP1 D) (SETQ D (BEHAVIOR A VAR VAL))
> (if (ZEROP1 D) (THROW 'MABS 'RETN))))
> with
> (if (AND (ZEROP1 D) (ZEROP1 (BEHAVIOR A VAR VAL)))
> (SETQ EXP (MAXIMA-SUBSTITUTE A `((MABS) ,ANS) EXP)))
> I still don't understand what this BEHAVIOR function does. The MAXIMA
> documentation says that the algorithm described in Wangs's Ph.D
> thesis. My quesion is, is the thesis available online somethere? I
> don't think I can find it in the nearest library here in Russia.
> --