Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo

Close

#539 ratfac/algebraic simplification issues

open
nobody
5
2006-07-26
2004-03-20
Stavros Macrakis
No

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.

Discussion

  • Robert Dodier
    Robert Dodier
    2006-07-26

    Logged In: YES
    user_id=501686

    Observed in 5.9.3cvs.

     
  • Robert Dodier
    Robert Dodier
    2006-07-26

    • labels: --> Lisp Core - Simplification