[Maxima-bugs] [ maxima-Bugs-769884 ] Inconsistency in Assume

[SourceForge.net <no...@so...>]

Bugs item #769884, was opened at 2003-07-11 17:27
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=104933&aid=769884&group_id=4933

Category: None
Group: None
Status: Open
Resolution: None
Priority: 5
Submitted By: Stavros Macrakis (macrakis)
Assigned to: Nobody/Anonymous (nobody)
Summary: Inconsistency in Assume

Initial Comment:
Simple assume works:

(C1) assume(a>b);
(D1) 		[ a > b]

Assume of negations works:

(C2) assume(not c>d);
(D2) 		[d >= C]

Assume of 'and' works:

(C3) assume(e>=f and e<=f);
(D3) 		[e >= f, f >= e]

But assume of 'and' with negation doesn't:

(C4) assume(g>=h and not(g>h));
MACSYMA was unable to evaluate the predicate:
g >= h
 -- an error.  Quitting.  To debug this try DEBUGMODE

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=104933&aid=769884&group_id=4933