Services & Resources / Wolfram Forums
-----
 /
MathGroup Archive
2006
*January
*February
*March
*April
*May
*June
*July
*August
*September
*October
*November
*December
*Archive Index
*Ask about this page
*Print this page
*Give us feedback
*Sign up for the Wolfram Insider

MathGroup Archive 2006

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

Search the Archive

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

  • To: mathgroup at smc.vnet.net
  • Subject: [mg71097] ExpandAll[(a + b) ** c] ?
  • From: "Christoph Lhotka" <lhotka at astro.univie.ac.at>
  • Date: Wed, 8 Nov 2006 06:15:19 -0500 (EST)

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 


  • Prev by Date: Question about trig simplify
  • Next by Date: Pythonika: Python in Mathematica
  • Previous by thread: RE: Question about trig simplify
  • Next by thread: Re: ExpandAll[(a + b) ** c] ?