Sindbad~EG File Manager
�
'Μg� � �� � d dl Z d dlZd dlmZmZ d dlmZ d dlmZ ej j Z
ej j Z d� Z d� Z
G d� dej � Zy) � N)�isnan� nextafter)�requires_IEEE_754)�
hypothesisc �@ � t | � r t |� s| |k( sJ �y y �N)r )�x�ys �4/usr/local/lib/python3.12/test/test_math_property.py�assert_equal_floatr s � � ��8��a��A��F�*� *�F�� c �@ � t j t |g|z | � S r )� functools�reducer �r r
�stepss r �
via_reducer s � � � � �I��s�U�{�A� 6�6r
c �� � e Zd Ze ej
e� e� edd�� �� d� � � Ze ej
e� e� ed�� ed�� �� d� � � Z y )
�NextafterTestsr i )� min_value� max_valuer c �J � t t |||� t |||�� � y )N�r )r r r )�selfr r
r s r �
test_countzNextafterTests.test_count s# � � �:�a��E�2�$�Q���7� 9r
)r )r r
�a�bc � � t |||�� }t |||�� }t ||||z �� }t j |� d|� d|� �� t ||� y )Nr z -> z == )r r �noter )r r r
r r �first�second�combineds r �test_addition_commutesz%NextafterTests.test_addition_commutes sY � � �!�Q�a�(���5�!�1�-�� �Q���1��-�����5�'��f�X�T�(��<�=��6�8�,r
N)
�__name__�
__module__� __qualname__r r �given�floats�integersr r# � r
r r r s� � ���Z���
�(�
�(���e�4�6�9� 6� �
9� ��Z���
�(�
�(�
�Q�
�
�Q�
� !�
-� !� � -r
r )r �unittest�mathr r � test.supportr � test.support.hypothesis_helperr �
strategiesr( r) r r �TestCaser r* r
r �<module>r1 sR �� � � !� *� 5� � � � %� %�� � � � )� )��+�7�-�X�&�&� -r
Sindbad File Manager Version 1.0, Coded By Sindbad EG ~ The Terrorists