# Polynomials with symbolic exponents

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.