On Feb 1, 2008 7:09 AM, Barton Willis <willisb at unk.edu> wrote:
> There is no user-level interface to the 'commutes-with-conjugate'
> mechanism.
> Maybe there should be:
>
> (%i2) :lisp (setf (get '%derivative 'commutes-with-conjugate) t);
Yes, maybe some notation like declare(foo, commutes_with(bar)).
Another one that could be useful is declare(foo, distributes_over(bar)).
> By the way, diff conjugate = conjugate diff isn't an identity.
Uh oh.
best
Robert