#539 ratfac/algebraic simplification issues

[Stavros Macrakis]

ratfac:true$

expr: rat((1+%i)^2/2) $

ratfac:false$ algebraic:true$

rat(expr) => 2*%i/2

Should of course be %i.

-------------------

Note that rat(ex) resimplifies if ratfac has become false,
but rat(ex) does *not* resimplify if algebraic has
become true:

ratfac:true$
ex0: rat(x+1)^2$
ratfac:false$
rat(ex0) => expanded

algebraic:false$
ex1: rat(%i)^2$
algebraic:true$
rat(ex1) => %i^2 NOT resimplified

Be sure you don't use EV when testing these things,
because EV ratdisreps, so that even with
algebraic:false, ev(ex1)=>-1.

[Robert Dodier]

Logged In: YES
user_id=501686

Observed in 5.9.3cvs.