#1467 facts(non-context)

Lisp Core (471)

(%i1) assume(x > a);
(%o1) [x>a]

OK--list facts about x:

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

(%i3) assume(x > a -b);
(%o3) [x+b-a>0]

Not OK--- facts(x) doesn't include x + b - a > 0

(%i4) facts(x);
(%o4) [x>a]

Based on the user documentation, I think most readers would assume that facts(x) would include x + b - a > 0.
The user documentation says:

"If item is not the name of a context, facts (item) returns a list of the facts known about item in the current context"

Maybe this is mostly a documentation problem; it's not clear what "item" means:

(%i10) assume(x > a + b);
(%o10) [x-b-a>0]

(%i11) facts(a+b);
(%o11) []


  • Dieter Kaiser

    Dieter Kaiser - 2009-11-30
    • status: open --> closed
  • Dieter Kaiser

    Dieter Kaiser - 2009-11-30

    Closing this bug report, because it is a duplicate of the report ID: 856209 - inconsistency between facts() and facts(v).
    This report has been added to the first bug report about this topic.
    Dieter Kaiser


Log in to post a comment.

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

No, thanks