On 1/31/08, Barton Willis <willisb at unk.edu> wrote:
> (%i42) declare(g,multiadditive)$
>
> (%i43) g(x+y,a+b);
> (%o43) g(y,b)+g(y,a)+g(x,b)+g(x,a)
>
> (%i44) g(x+y+z,a+b);
> (%o44) g(z,b)+g(z,a)+g(y,b)+g(y,a)+g(x,b)+g(x,a)
Good heavens! Where is this hidden? ... Oh, it's in share/contrib.
load(multiadditive) finds it. Thanks, Barton!
Robert