ASKSAGE: Sage Q&A Forum - Individual question feedhttp://ask.sagemath.org/questions/Q&A Forum for SageenCopyright Sage, 2010. Some rights reserved under creative commons license.Mon, 10 Oct 2016 02:13:03 -0500solve x^y == z (for x)http://ask.sagemath.org/question/35105/solve-xy-z-for-x/
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,
DustinMon, 10 Oct 2016 02:13:03 -0500http://ask.sagemath.org/question/35105/solve-xy-z-for-x/