Revision history [back]

Is there a structure available which would evaluate, for example,

(X^a + Y^b) * X^d * Y^e

as

X^(a+d) * Y^e + X^d * Y^(b+e)

where X,Y,a,b,d,e are variables?

Is there a structure available which would evaluate, for example,

(X^a + Y^b) * X^d * Y^e

as

X^(a+d) * Y^e + X^d * Y^(b+e)

where X,Y,a,b,d,e are variables?

Is there a structure available which would evaluate, for example,

(X^a $$(X^a + Y^b) * X^d * Y^eY^e$$

as

X^(a+d) $$X^{(a+d)} * Y^e + X^d * Y^(b+e)Y^{(b+e)}$$

where X,Y,a,b,d,e $X,Y,a,b,d,e$ are variables?

Is there a structure available which would evaluate, for example,

admit formulas like $$(X^a + Y^b) * X^d * Y^e$$

as

$$X^{(a+d)} * Y^e + X^d * Y^{(b+e)}$$

Y^e$$ where $X,Y,a,b,d,e$ are variables?

Is there a structure available which would admit formulas like $$(X^a + Y^b) * X^d * Y^e$$ where $X,Y,a,b,d,e$ are variables?

For which obvious Obvious identities like $$(X^a + Y^b) * X^d * Y^e = X^{(a+d)} * Y^e + X^d * Y^{(b+e)}$$ would hold?should hold.