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?
Obvious identities like $$(X^a + Y^b) * X^d * Y^e = X^{(a+d)} * Y^e + X^d * Y^{(b+e)}$$ should hold.
What about:
sage: var('X,Y,a,b,d,e')
(X, Y, a, b, d, e)
sage: (X^a+Y^b)*X^d*Y^e
(X^a + Y^b)*X^d*Y^e
sage: (X^a+Y^b)*X^d*Y^e == (X^(a+d)*Y^e+X^d*Y^(b+e))
(X^a + Y^b)*X^d*Y^e == X^d*Y^(b + e) + X^(a + d)*Y^e
sage: bool(_)
True
Asked: 2018-06-21 11:41:41 +0100
Seen: 617 times
Last updated: Jun 28 '18
Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.