SourceForge has been redesigned. Learn more.
Close

#2043 sign doesn't immediately clean up database

closed
nobody
5
2010-07-28
2010-07-27
Anonymous
No

Once the call to sign exits, there should be no facts on the symbol a:

(%i1) (sign(1/a), facts(a));
(%o1) [notequal(a,0)]

(%i2) facts(a);
(%o2) []

Discussion

  • Barton Willis

    Barton Willis - 2010-07-28
    • status: open --> closed
     

Log in to post a comment.