On 5/17/07, Barton Willis <willisb at unk.edu> wrote:
> (defun apply-reflection-simp (op x &optional (b t))
> (let ((f (get op 'reflection-rule)))
> (if (and b f (great (neg x) x)) (funcall f op x) nil)))
I think calling GREAT makes Maxima too eager to apply the
reflection identity. How about MGRP or whatever it takes to
get Maxima to consider is(x < - x).
E.g. i don't find sin(a - b) => - sin(b - a) all that helpful.
As ever there's no accounting for taste.
All the best
Robert