(%i1) assume(x > a);
OK--list facts about x:
(%i3) assume(x > a -b);
Not OK--- facts(x) doesn't include x + b - a > 0
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);
Log in to post a comment.