Ask Your Question
1

Polynomials with symbolic exponents

asked 2018-06-21 13:09:55 +0200

StepanHolub gravatar image

updated 2018-06-28 17:32:12 +0200

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 20:07:03 +0200

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 11:41:41 +0200

Seen: 111 times

Last updated: Jun 28 '18