facts(non-context) - Githubissues

rtoy commented 1 week ago

Imported from SourceForge on 2024-07-07 13:38:06 Created by willisbl on 2008-08-02 11:07:10 Original: https://sourceforge.net/p/maxima/bugs/1467

(%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) []

rtoy commented 1 week ago

Imported from SourceForge on 2024-07-07 13:38:08 Created by crategus on 2009-11-30 00:24:43 Original: https://sourceforge.net/p/maxima/bugs/1467/#0ed3

status: open --> closed

rtoy commented 1 week ago

Imported from SourceForge on 2024-07-07 13:38:11 Created by crategus on 2009-11-30 00:24:43 Original: https://sourceforge.net/p/maxima/bugs/1467/#d831

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

rtoy / maxima

facts(non-context) #3082