 | 1 | initial version |
If I ask explicitly Sage confirms that (-1)^(1/4) and/or exp(pi*I/4) denote the same entity. 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 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)
If I ask explicitly explicitly, Sage confirms that (-1)^(1/4) and/or and exp(pi*I/4) denote the same entity. 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 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)
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)
| | 4 | retagged |
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)
Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.