couple of questions about complex expressions



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