Ask Your Question

simple(?) exponentiation simplification

asked 2013-07-11 15:36:09 +0200

this post is marked as community wiki

This post is a wiki. Anyone with karma >750 is welcome to improve it.

I'm beginning with sage. It sure looks great but I still have to understand what is the actual meaning of what I type in :-(

This is where I am currently stuck:

sage: simplify( (a/b)^c - (a^c)/(b^c) )
-a^c/b^c + (a/b)^c

I would have loved to get a nice clean $0$. What do I need to tell sage so that it sees that $(a/b)^c$ and $a^c/b^c$ are the same?

edit retag flag offensive close merge delete


It's a bit the same problem that here : And the answer is a bit the same... "The most one can say here is that Maxima doesn't "know" that sin(pi/n) is, in fact, positive. The assumptions framework in Maxima (and hence Sage) is acknowledged to be fairly weak."

moroplogo gravatar imagemoroplogo ( 2013-07-11 15:50:21 +0200 )edit

? This is not the same thing. There isn't any particular reason that Sage (or any other system) should be asked to always expand such expressions; it could be arbitrarily computationally expensive to do so. Whereas when one *explicitly adds in an assumption*, it would be nice to have that happen (which is what the other question is about).

kcrisman gravatar imagekcrisman ( 2013-07-11 16:01:06 +0200 )edit

1 Answer

Sort by ยป oldest newest most voted

answered 2013-07-11 15:53:11 +0200

tmonteil gravatar image

updated 2013-07-11 15:53:46 +0200

You can use the method .full_simplify():

sage: var('a b c')              
(a, b, c)
sage: expression = (a/b)^c - (a^c)/(b^c)
sage: expression.full_simplify()
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


Asked: 2013-07-11 15:36:09 +0200

Seen: 362 times

Last updated: Jul 11 '13