sage: reset() sage: var('a b c x y z') (a, b, c, x, y, z)
sage: assert( (e^x)^y == e^(x*y) )
AssertionError Traceback (most recent call last) /Users/marks/mysage/sage-9.0/local/lib/python3.7/site-packages/sage/all_cmdline.py in <module>() ----> 1 assert( (ex)y == e*(xy) )
AssertionError: sage: assert( (e^2)^3 == e^(2*3) ) sage: