[Date Index] [Thread Index] [Author Index]
RE: ExpandAll[(a + b) ** c] ?
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