#NEWLINE# def test_ineq_unequal( ) : #NEWLINE# #INDENT# S = sympify #NEWLINE# ( x , y , z ) = symbols ( 'x,y,z' ) #NEWLINE# e = ( ( S ( ( - 1 ) ) >= x ) , ( S ( ( - 1 ) ) >= y ) , ( S ( ( - 1 ) ) >= z ) , ( S ( ( - 1 ) ) > x ) , ( S ( ( - 1 ) ) > y ) , ( S ( ( - 1 ) ) > z ) , ( S ( ( - 1 ) ) <= x ) , ( S ( ( - 1 ) ) <= y ) , ( S ( ( - 1 ) ) <= z ) , ( S ( ( - 1 ) ) < x ) , ( S ( ( - 1 ) ) < y ) , ( S ( ( - 1 ) ) < z ) , ( S ( 0 ) >= x ) , ( S ( 0 ) >= y ) , ( S ( 0 ) >= z ) , ( S ( 0 ) > x ) , ( S ( 0 ) > y ) , ( S ( 0 ) > z ) , ( S ( 0 ) <= x ) , ( S ( 0 ) <= y ) , ( S ( 0 ) <= z ) , ( S ( 0 ) < x ) , ( S ( 0 ) < y ) , ( S ( 0 ) < z ) , ( S ( '3/7' ) >= x ) , ( S ( '3/7' ) >= y ) , ( S ( '3/7' ) >= z ) , ( S ( '3/7' ) > x ) , ( S ( '3/7' ) > y ) , ( S ( '3/7' ) > z ) , ( S ( '3/7' ) <= x ) , ( S ( '3/7' ) <= y ) , ( S ( '3/7' ) <= z ) , ( S ( '3/7' ) < x ) , ( S ( '3/7' ) < y ) , ( S ( '3/7' ) < z ) , ( S ( 1.5 ) >= x ) , ( S ( 1.5 ) >= y ) , ( S ( 1.5 ) >= z ) , ( S ( 1.5 ) > x ) , ( S ( 1.5 ) > y ) , ( S ( 1.5 ) > z ) , ( S ( 1.5 ) <= x ) , ( S ( 1.5 ) <= y ) , ( S ( 1.5 ) <= z ) , ( S ( 1.5 ) < x ) , ( S ( 1.5 ) < y ) , ( S ( 1.5 ) < z ) , ( S ( 2 ) >= x ) , ( S ( 2 ) >= y ) , ( S ( 2 ) >= z ) , ( S ( 2 ) > x ) , ( S ( 2 ) > y ) , ( S ( 2 ) > z ) , ( S ( 2 ) <= x ) , ( S ( 2 ) <= y ) , ( S ( 2 ) <= z ) , ( S ( 2 ) < x ) , ( S ( 2 ) < y ) , ( S ( 2 ) < z ) , ( x >= ( - 1 ) ) , ( y >= ( - 1 ) ) , ( z >= ( - 1 ) ) , ( x > ( - 1 ) ) , ( y > ( - 1 ) ) , ( z > ( - 1 ) ) , ( x <= ( - 1 ) ) , ( y <= ( - 1 ) ) , ( z <= ( - 1 ) ) , ( x < ( - 1 ) ) , ( y < ( - 1 ) ) , ( z < ( - 1 ) ) , ( x >= 0 ) , ( y >= 0 ) , ( z >= 0 ) , ( x > 0 ) , ( y > 0 ) , ( z > 0 ) , ( x <= 0 ) , ( y <= 0 ) , ( z <= 0 ) , ( x < 0 ) , ( y < 0 ) , ( z < 0 ) , ( x >= 1.5 ) , ( y >= 1.5 ) , ( z >= 1.5 ) , ( x > 1.5 ) , ( y > 1.5 ) , ( z > 1.5 ) , ( x <= 1.5 ) , ( y <= 1.5 ) , ( z <= 1.5 ) , ( x < 1.5 ) , ( y < 1.5 ) , ( z < 1.5 ) , ( x >= 2 ) , ( y >= 2 ) , ( z >= 2 ) , ( x > 2 ) , ( y > 2 ) , ( z > 2 ) , ( x <= 2 ) , ( y <= 2 ) , ( z <= 2 ) , ( x < 2 ) , ( y < 2 ) , ( z < 2 ) , ( x >= y ) , ( x >= z ) , ( y >= x ) , ( y >= z ) , ( z >= x ) , ( z >= y ) , ( x > y ) , ( x > z ) , ( y > x ) , ( y > z ) , ( z > x ) , ( z > y ) , ( x <= y ) , ( x <= z ) , ( y <= x ) , ( y <= z ) , ( z <= x ) , ( z <= y ) , ( x < y ) , ( x < z ) , ( y < x ) , ( y < z ) , ( z < x ) , ( z < y ) , ( ( x - pi ) >= ( y + z ) ) , ( ( y - pi ) >= ( x + z ) ) , ( ( z - pi ) >= ( x + y ) ) , ( ( x - pi ) > ( y + z ) ) , ( ( y - pi ) > ( x + z ) ) , ( ( z - pi ) > ( x + y ) ) , ( ( x - pi ) <= ( y + z ) ) , ( ( y - pi ) <= ( x + z ) ) , ( ( z - pi ) <= ( x + y ) ) , ( ( x - pi ) < ( y + z ) ) , ( ( y - pi ) < ( x + z ) ) , ( ( z - pi ) < ( x + y ) ) , True , False ) #NEWLINE# left_e = e [ : ( - 1 ) ] #NEWLINE# for ( i , e1 ) in enumerate ( left_e ) : #NEWLINE# #INDENT# for e2 in e [ ( i + 1 ) : ] : #NEWLINE# #INDENT# assert ( e1 != e2 )