[Date Index] [Thread Index] [Author Index]

RE: ExpandAll[(a + b) ** c] ?

• To: mathgroup at smc.vnet.net
• Subject: [mg71162] RE: [mg71097] ExpandAll[(a + b) ** c] ?
• From: "David Park" <djmp at earthlink.net>
• Date: Thu, 9 Nov 2006 03:39:59 -0500 (EST)

Christoph,

How about

Distribute[(a + b) ** c]
a ** c + b ** c

David Park
djmp at earthlink.net
http://home.earthlink.net/~djmp/

From: Christoph Lhotka [mailto:lhotka at astro.univie.ac.at]
To: mathgroup at smc.vnet.net

Hello Mathgroup!

Ho do I make the non-commutative operator ** distributiv with respect to +,
thus the expression "ExpandAll[(a + b) ** c]" evaluates to "a**c + b**c", by
setting appropiate attributes to ** and + ?

PS: Sure, the rule (a+b)**c->a**c+b**c after the expression works fine, but
its a rule, not an attribute to **, nor to +.

Discussion point: Is there a any reason, why the non-commutative but
associative opertor ** should not be distributive with respect to a linear
operator + in general? To my opinion this would be more straightforward,
when
calling the operator a multiplicative one. What do you think?

Thank you
Christoph