Ask Your Question
1

Polynomials with symbolic exponents

asked 2018-06-21 06:09:55 -0500

StepanHolub gravatar image

updated 2018-06-28 10:32:12 -0500

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.

edit retag flag offensive close merge delete

1 answer

Sort by ยป oldest newest most voted
1

answered 2018-06-28 13:07:03 -0500

tmonteil gravatar image

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
edit flag offensive delete link more

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower

Stats

Asked: 2018-06-21 04:41:41 -0500

Seen: 42 times

Last updated: Jun 28