bug? multiply symbolic exponents

exponent

asked 4 years ago

gam
21 ●1 ●1 ●4

updated 4 years ago

FrédéricC

5426 ●4 ●44 ●121

Is this a bug ?

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( (e**x)**y == e**(x*y) )

AssertionError: 
sage: assert( (e^2)^3 == e^(2*3) )
sage:

Comments

but

sage: (e^x)^y - e^(x*y)                                                                                                                     
    y       
⎛ x⎞     x⋅y
⎝ℯ ⎠  - ℯ   
sage: simplify(_)                                                                                                                           
0

FrédéricC ( 4 years ago )

add a comment

1 Answer

Sort by » oldest newest most voted

answered 4 years ago

Emmanuel Charpentier
7804 ●8 ●52 ●155

updated 4 years ago

Not necessarily true. See sympy's documentation for a nice abstract on the problems...

EDIT : This is the third case mentioned in the pointed documentation :

sage: bool((x^a)^b==x^(a*b))
False
sage: with assuming(b,"integer"): bool((x^a)^b==x^(a*b))
True

link

Comments

A nice beginning to 2021: this answer led me to some new-to-me math, to a new appreciation of sage/sympy, and to gratitude for this forum. Thanks--and happy new year!

gam ( 4 years ago )

add a comment

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

Stats

Asked: 4 years ago

Seen: 711 times

Last updated: Jan 01 '21

bug? multiply symbolic exponents savecancel

Comments

1 Answer

Comments