couple of questions about complex expressions
- Subject: couple of questions about complex expressions
- From: Barton Willis
- Date: Fri, 28 Sep 2012 09:16:06 +0000
When simplifying (-5)^(1/3) with numer : true, conversion of 1/3 to a binary64 happens before simpexpt ever looks at (-5)^(1/3).
The function *red (called by simpquot) does the conversion
(%i3) (-5)^(1/3),numer;
1> (SIMPQUOT ((MQUOTIENT) 1 3) 1 NIL)
<1 (SIMPQUOT 0.33333333333333331)
1> (SIMPEXPT ((MEXPT) -5 0.33333333333333331) 1 NIL)
2> (SIMPEXPT ((MEXPT) -1 0.33333333333333331) 1 T)
<2 (SIMPEXPT ((MEXPT SIMP) -1 0.33333333333333331))
<1 (SIMPEXPT
((MTIMES SIMP) 1.7099759466766968
((MEXPT SIMP) -1 0.33333333333333331)))
(%o3) 1.709975946676697*(-1)^0.33333333333333
--Barton