Changes between Initial Version and Version 1 of Ticket #11309


Ignore:
Timestamp:
05/06/11 22:53:19 (8 years ago)
Author:
tnv
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #11309 – Description

    initial v1  
    11-x + y > 0 and x - y > 0  are treated the same in Sage. 
    22
     3{{{
    34sage: version()
    45'Sage Version 4.6.2, Release Date: 2011-02-25'
     
    910Set([-x +y >= 0,x -y >= 0])
    1011{-x + y >= 0}
    11 
     12}}}
    1213
    1314and they have the same Hash
    1415
     16{{{
    1517sage: var('x,y')
    1618(x, y)
     
    2527sage: hash(x - y > 0 )
    26281221566266
    27 
     29}}}
    2830
    2931It seems to me that Sage treats > , >= ,  ==  the same (see http://trac.sagemath.org/sage_trac/ticket/7660).    If this is true then it's a serious problem and needs to be addressed.