#NEWLINE# def test_equals( ) : #NEWLINE# #INDENT# ( w , x , y , z ) = symbols ( 'w:z' ) #NEWLINE# f = Function ( 'f' ) #NEWLINE# assert Eq ( x , 1 ) . equals ( Eq ( ( ( ( ( w * ( y + 1 ) ) - ( x * y ) ) - x ) + 1 ) , x ) ) #NEWLINE# assert ( Eq ( x , y ) . equals ( ( x < y ) , True ) == False ) #NEWLINE# assert ( Eq ( x , f ( 1 ) ) . equals ( Eq ( x , f ( 2 ) ) , True ) == ( f ( 1 ) - f ( 2 ) ) ) #NEWLINE# assert ( Eq ( f ( 1 ) , y ) . equals ( Eq ( f ( 2 ) , y ) , True ) == ( f ( 1 ) - f ( 2 ) ) ) #NEWLINE# assert ( Eq ( x , f ( 1 ) ) . equals ( Eq ( f ( 2 ) , x ) , True ) == ( f ( 1 ) - f ( 2 ) ) ) #NEWLINE# assert ( Eq ( f ( 1 ) , x ) . equals ( Eq ( x , f ( 2 ) ) , True ) == ( f ( 1 ) - f ( 2 ) ) ) #NEWLINE# assert ( Eq ( w , x ) . equals ( Eq ( y , z ) , True ) == False ) #NEWLINE# assert ( Eq ( f ( 1 ) , f ( 2 ) ) . equals ( Eq ( f ( 3 ) , f ( 4 ) ) , True ) == ( f ( 1 ) - f ( 3 ) ) ) #NEWLINE# assert ( ( x < y ) . equals ( ( y > x ) , True ) == True ) #NEWLINE# assert ( ( x < y ) . equals ( ( y >= x ) , True ) == False ) #NEWLINE# assert ( ( x < y ) . equals ( ( z < y ) , True ) == False ) #NEWLINE# assert ( ( x < y ) . equals ( ( x < z ) , True ) == False ) #NEWLINE# assert ( ( x < f ( 1 ) ) . equals ( ( x < f ( 2 ) ) , True ) == ( f ( 1 ) - f ( 2 ) ) ) #NEWLINE# assert ( ( f ( 1 ) < x ) . equals ( ( f ( 2 ) < x ) , True ) == ( f ( 1 ) - f ( 2 ) ) )