Revision history [back]

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