canonical form of `(-1)^(1/4)` and/or `exp(pi*I/4)`

asked 2024-08-29 19:03:24 +0200

6342 ●7 ●44 ●149

updated 2024-08-29 19:07:07 +0200

If I ask explicitly, Sage confirms that (-1)^(1/4) and exp(pi*I/4) are equal. However, I'd like to reduce/simplify each of them into the same canonical form (whatever it is) so that I will see their equality with "naked eye". Is there a way to do so? I've tried full_simplify() but it does not help.

sage: bool( (-1)^(1/4) == exp(pi*I/4) )
True
sage: ((-1)^(1/4)).full_simplify()
(-1)^(1/4)
sage: exp(pi*I/4).full_simplify()
(1/2*I + 1/2)*sqrt(2)

edit retag flag offensive close merge delete

add a comment

1 Answer

Sort by » oldest newest most voted

answered 2024-08-29 23:30:58 +0200

eric_g
8404 ●10 ●62 ●165 https://luth.obspm.fr/...

You may use rectform:

sage: ((-1)^(1/4)).rectform()
(1/2*I + 1/2)*sqrt(2)
sage: exp(pi*I/4).rectform()
(1/2*I + 1/2)*sqrt(2)

edit flag offensive delete link

Comments

FWIW

sage: QQbar(exp(I*pi/4)).radical_expression()
(-1)^(1/4)

HTH (but doubting it ...),

Emmanuel Charpentier ( 2024-08-30 09:39:13 +0200 )edit

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

1 follower

Stats

Asked: 2024-08-29 19:03:24 +0200

Seen: 131 times

Last updated: Aug 29

canonical form of `(-1)^(1/4)` and/or `exp(pi*I/4)` edit