solve x^y == z (for x)

asked 2016-10-10 02:13:03 -0600

dnlennonpu01 gravatar image

I don't understand the behavior:

var('x','y','z'); assume(x>0, y>0, z>0); assume(x,y,z, 'real') solve(x^y==z, x)

generates a traceback error: "... Is y an integer?"

I can get the expected answer after adding

assume(y, 'integer')

but this seems like it should be unnecessary. Anyone know what is going on here?

thanks, Dustin

edit retag flag offensive close merge delete