[Maxima-bugs] [ maxima-Bugs-711727 ] Assume DB context names interfere with variables

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

Bugs item #711727, was opened at 2003-03-29 02:10
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=104933&aid=711727&group_id=4933

Category: None
Group: None
Status: Open
Resolution: None
Priority: 5
Submitted By: Stavros Macrakis (macrakis)
Assigned to: Nobody/Anonymous (nobody)
Summary: Assume DB context names interfere with variables

Initial Comment:
This is a very hard bug to believe.  And it was very hard 
to reproduce, because it only bites under very particular 
circumstances.

block([context:b],assume(b>c,c>a),sign(b-c));

returns NEG, which is incorrect.

The *name* of the context is important.  It must be the 
same as the larger variable.

The context name may be quoted (context:'b) or not -- it 
doesn't matter.

There must be TWO assumptions, with related 
variables.  But the order doesn't matter.

So apparently the context name is somehow getting 
mixed up with the variables within the context.

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

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