Your IP : 216.73.216.213
�
f f� � @ s� d d l Z d d l m Z d d l Z d d l Z d d l Z d d l Z e j j Z d e Z
e
d Z d Z d Z
d d d e
e
d ?d d g Z d Z x3 e d e � D]! Z e j e d � e d >Z q� W[ e d
d � e D� d d � e D� 7Z e j j Z e j j Z e j j Z e j j Z d e d e e d Z d
d � Z d d � Z Gd d � d e j � Z d d � Z! e" d k r�e! � n d S)� N)�support� � �F � l UU�*UU�* l �*UU�*UU
� c C s g | ]
} | � q S� r )�.0�xr r �3/opt/alt/python34/lib64/python3.4/test/test_long.py�
<listcomp> s r c C s g | ]
} | � q Sr r )r r
r r r r s c C sQ t j j d } t j j | } d | >} d d d d d d
d d g } | d k rX d S| d k rp t | � S| j � | } | d k r� | | >n | | ?t | d | >@� B} | | | d @7} | | | k | k r� t d � � n | d d k r| d d t j j k st � | d | t j j k s;t � t
j t | � | � S) z9
Correctly-rounded integer-to-float conversion.
r r r g � z%integer too large to convert to floatr ������r r )
�sys�
float_info�mant_dig�max_exp� int_to_float�
bit_length�bool�
OverflowError�AssertionError�max�math�ldexp�float)�nZ PRECISIONZ SHIFT_MAXZQ_MAXZ ROUND_HALF_TO_EVEN_CORRECTION�shift�qr r r r ' s
40 r c C so | | Ad k } t | � t | � } } | s> t d � � n | t | k r] t d � � n | j � | j � } | d k r� | d | | k s� | d k r� | d | | k r� | d 7} n t | t � t } | t | d � >| t | d � >} } t | | � \ } } d | | k sAd | | k rN| d d k rN| d 7} n t j
| | � } | rk| S| S)z-Correctly-rounded true division for integers.r zdivision by zeroz)int/int too large to represent as a floatr r ) �abs�ZeroDivisionError�DBL_MIN_OVERFLOWr r r � DBL_MIN_EXP� DBL_MANT_DIG�divmodr r )�a�bZnegative�d�expr �r�resultr r r �truedivU s A
(0
r, c @ s� e Z d Z d d � Z d d � Z d d � Z d d � Z d d
� Z d d � Z d
d � Z d d � Z
d d � Z d d � Z d d � Z
d d � Z d d � Z d d � Z d d � Z e j d d � � Z d! d" � Z d# d$ � Z d% d& � Z d' d( � Z d) d* � Z d+ d, � Z d- d. d/ � Z e j d0 d1 � � Z d2 d3 � Z d4 d5 � Z d6 d7 � Z d8 d9 � Z d: d; � Z! d< d= � Z" d> d? � Z# d@ S)A�LongTestc C s9 | j | d � | t } | t d } d } d } t t j � t d � d B} x� | | k r� | d ?d } t | | | � } | j d | k o� t k n � | | } | | >} | d @r� | d | >d B} n t t j � t d � } qU W| j | | k o| k n � t j � d k r5| } n | S)Nr r r g �?)Z
assertGreater�SHIFT�int�random�min�
assertTrue)�self�ndigitsZnbits_hiZnbits_lo�answerZnbitsr* �bitsr r r �getran{ s&
#
#
zLongTest.getranc C sW d } x. t | � D] } | t >t j d t � B} q Wt j � d k rS | } n | S)Nr g �?)�ranger. r0 Zrandint�MASK)r4 r5 �ir r r �getran2� s
zLongTest.getran2c
C s | j } | j d | d | � �� t | | � \ } } | | | | } } | | | | } } | | | d � | | | d � | | | d � | | | | | d � | d k r� | j d | k o� | k n d � n& | j | | k o� d k n d � Wd QXd S) Nr
�yz multiplication does not commutez(divmod returns different quotient than /z#divmod returns different mod than %zx != q*y + r after divmodr zbad mod from divmod)� assertEqual�subTestr% r2 )
r3 r
r< �eqr r* Zq2Zr2ZpabZpbar r r �check_division� s )zLongTest.check_divisionc C s[ t t d t d � � t t t t d � � } | j t d � xS | D]K } | j | � } x3 | D]+ } | j | � p| d } | j | | � qd WqH W| j d d � | j d d � | j d d � | j d
d � | j d d
� | j d d � | j d d � | j d d � | j d d � | j d d � | j d d � | j d d � d S) Nr � � l !Us/w��3al ZW��3al +Q@{�d� �B]Ol�Nl �O�Ol�Nl �t�e�o%g�q�Cgx<l �&�ghrsGl Q5��K�4+�o�-bkl C�4+�o�-bkl ��.#w�flD�&I-�Xl � Z��nSu9bl � c �v��
��<�Il rd�FBu�' �pl �PhbIi|�$l 1�m�{Wqi���8l �s~5 ^Fi�y�+l 'H�
<{�Cl `<{�Cl �ED_5(�Nl �o�ybal =2zz6 l �9�t�m)�listr8 � MAXDIGITS�KARATSUBA_CUTOFF�appendr7 r@ )r3 �digits�lenxr
�lenyr< r r r �
test_division� s4
zLongTest.test_divisionc C s t t d d � � t t t t d � � } | j t d t d g � d d � | D� } x� | D]� } d | >d } x� | D]� } | | k r� q| n | j d | d | � �O d | >d } | | } d | | >d | >d | >d } | j | | � Wd QXq| Wqa Wd S) Nr � �
�d c S s g | ] } | t � q Sr )r. )r �digitr r r r � s z+LongTest.test_karatsuba.<locals>.<listcomp>�abits�bbits)rC r8 rE �extendr> r= ) r3 rG r6 rO r& rP r' r
r< r r r �test_karatsuba� s
zLongTest.test_karatsubac C s� | j } | j d | � �
| | d @d � | | d B| � | | d A| � | | d @| � | | d Bd � | | d
A| � | | | � | | | @| � | | | B| � | | | Ad � | | | @d � | | | Bd � | | | Ad � | | d | � | | | d � Wd QXx� t d t � D]� } d | } | j d | d | d | � �y | | | >| ?| � | | | | | ?� | | | | | >� | | | @| | ?| >� | | | @| | d @� Wd QXq8Wd S)
Nr
r r r r �p2r r r r r r )r= r> r8 r. )r3 r
r? r rS r r r �check_bitop_identities_1� s2
z!LongTest.check_bitop_identities_1c C s | j } | j d | d | � �� | | | @| | @� | | | B| | B� | | | A| | A� | | | A| A| � | | | @| | B� | | | B| | @� | | | A| | B| | @@� | | | A| | @| | @B� | | | A| | B| | B@� Wd QXd S)Nr
r< )r= r> )r3 r
r< r? r r r �check_bitop_identities_2 s z!LongTest.check_bitop_identities_2c C s� | j } | j d | d | d | � �� | | | @| @| | | @@� | | | B| B| | | BB� | | | A| A| | | AA� | | | | B@| | @| | @B� | | | | @B| | B| | B@� Wd QXd S)Nr
r< �z)r= r> )r3 r
r< rV r? r r r �check_bitop_identities_3 s !z!LongTest.check_bitop_identities_3c C s� x t D] } | j | � q Wt d t d � } x~ | D]v } | j | � } | j | � xQ | D]I } | j | � } | j | | � | j | | | j | | d � � qa Wq8 Wd S)Nr r )�specialrT r8 rD r7 rU rW )r3 r
rG rH rI r< r r r �test_bitop_identities s
z LongTest.test_bitop_identitiesc C s� g } d } | d k r) d | } } n x2 | r] t | | � \ } } | j t | � � q, W| j � | pt d g } d d | � i d d 6d d 6d d 6d
d 6| d j d d
� | D� � S)Nr r �-Z0br Z0o� � rL Z0x� c s s | ] } d | Vq d S)Z0123456789abcdefNr )r r: r r r � <genexpr>1 s z'LongTest.slow_format.<locals>.<genexpr>)r% rF r/ �reverse�join)r3 r
�baserG �signr* r r r � slow_format% s
1zLongTest.slow_formatc C s� x� d t f d t f d t f d t f d t f f D]� \ } } | | � } | j d | d | j � �' | j | | � } | j | | � Wd QX| j d | � � | j t | d � | � Wd QXq4 Wd S) Nr r[ rL r] r
�mapper�gotr )
�bin�oct�str�repr�hexr> �__name__rc r= r/ )r3 r
ra rd re �expectedr r r �check_format_13 s @ zLongTest.check_format_1c C ss x t D] } | j | � q WxN t d � D]@ } x7 t d t d � D]" } | j | � } | j | � qE Wq+ Wd S)NrL r )rX rm r8 rD r7 )r3 r
r: rH r r r � test_format< s
zLongTest.test_formatc
C s� d d, d- f d d d d. f g } x� | D]� \ } } x� d/ D]| } xs d0 D]k } | | | } | } | d k r� | t k r� | } n y | j t | � | � WqK t k
r� YqK XqK Wq> Wq+ W| j t t d � | j t t d
� | j t t d � | j t t d � | j t t d d � | j t t d d � | j t d d � d � | j t d d � d � | j t d d � d � | j t d d � d � | j t d d � d � | j t d d � d � | j t d d � d � | j t d d � d � | j t d d � d � | j t d! d � d � | j t d" d � d � | j t d# d � d � | j t t d$ d � | j t t d% d � d1 d3 d4 d6 d9 d; d< d> dA dB dD g } x$ | D] } | j t t d+ | � q�Wd S)EN�1�0� rL rM r\ �+rZ � � � Z123LZ123lZ0Lz-37LZ0x32Lr] Z1L� � �+ Z000r Z0o123�S Z0x123i# Z0b100r z 0O123 z 0X123 z 0B100 z+0z-0Z00Z08z-012395i� r � r �? Z42Z00000000000000000000l F�x:^V l DG��d�r���Y�|g�O�s&YR5I )r\ rr rZ )r\ rs rt ru is���l i���l l i �l i �l���� l l ���� l l l���� l l���� l���� l l l���� )�
ValueErrorr= r/ � assertRaises)
r3 ZLL�s�vrb �prefixZssZvvZ
invalid_basesra r r r � test_longD sN
zLongTest.test_longc C sY Gd d � d � } | j t t | � � Gd d � d � } | j t | � � d � d S)Nc @ s e Z d Z d d � Z d S)z*LongTest.test_conversion.<locals>.JustLongc S s d S)N�* r )r3 r r r �__long__} s z3LongTest.test_conversion.<locals>.JustLong.__long__N)rk �
__module__� __qualname__r� r r r r �JustLong{ s r� c @ s( e Z d Z d d � Z d d � Z d S)z+LongTest.test_conversion.<locals>.LongTruncc S s d S)Nr� r )r3 r r r r� � s z4LongTest.test_conversion.<locals>.LongTrunc.__long__c S s d S)Ni� r )r3 r r r � __trunc__� s z5LongTest.test_conversion.<locals>.LongTrunc.__trunc__N)rk r� r� r� r� r r r r � LongTrunc� s r� i� )r} � TypeErrorr/ r= )r3 r� r� r r r �test_conversiony s zLongTest.test_conversionc C s� y t | � } Wn t k
r* d } Yn Xy t | � } Wn t k
rU d } Yn Xd j | | | � } | j | | | � d S)N�overflowzAError in conversion of integer {} to float. Got {}, expected {}.)r r r �formatr= )r3 r Zactualrl �msgr r r �check_float_conversion� s
z LongTest.check_float_conversionc
C s d d d d d d d d d d" d# d% g } x< | D]4 } | j t | � | � | j t | � | � q1 Wxt d& d' d( d) d* d+ d, g D]W \ } } xH t d � D]: } | j t t d | d- | � � d | d. | � q� Wq� Wx� d/ d0 d1 d2 d3 d4 d5 d6 d7 d8 d9 d: d; d< d= d> g D]W \ } } xH t d � D]: } | j t t d | d? | � � d | d@ | � q0WqWt t � } d t } | | d } | j t | � t � | j t | d � t � | j t | d � t � | j t t | � | j t d | � t � | j t t | � | j t t | d � | j t t | � | j t t | d � | j t t d | d � | j t t d | � | j t t | | � x� t d � D]z } d | dB d } d | dD } | j t t | � � | � d | dF } d | dG } | j t t | � � | � q�W| d | | d | d | | d | d | | d d | d d | | | g } | j | � xJ t dH d � D]9 } x0 t dI d � D] } | j d | d | � q�Wq�Wx) | D]! } | j
| � | j
| � q�Wd S)JNr r r �5 rB �6 r rK � r
r[ r � rL � � �
rA r] rM � l l ���� l l ���� l l ���� l l l l l ����l l ����l l l )r r )r r )rB r )r r )rK r )r� r� )r
r[ l l )r r )r r )r r )rB r )r r )rK r )r� r[ )r
r[ )r[ r[ )r� r[ )rL r[ )r� r� )r� r� )r� r� )rA r] )r r] l l l l l l l l l ���i����) r= r r8 r/ �DBL_MAX� DBL_MAX_EXPr} r rQ rF r� )
r3 Z exact_valuesr
r< �pZ int_dbl_maxZ top_powerZhalfwayZ test_values�valuer r r �test_float_conversion� sl
(<<
!
z LongTest.test_float_conversionc $ C s x* d3 D]" } | j t t | � � | � q Wd d } d4 } | } i | d 6| d 6| d
6t d 6} x� d d
d d d d d d d d d d d d d d d d d d d d! d" d# d$ d% d& d' d( d) d* d+ d, d- d. d/ g$ D] } | j t t | | � q� W| j t | � t | � d0 � d S)5N� @� �?� Z12345�x r i0u �huge�mhuge�shuger z float(huge)z float(mhuge)z
complex(huge)zcomplex(mhuge)zcomplex(huge, 1)zcomplex(mhuge, 1)zcomplex(1, huge)zcomplex(1, mhuge)z 1. + hugez huge + 1.z
1. + mhugez
mhuge + 1.z 1. - hugez huge - 1.z
1. - mhugez
mhuge - 1.z 1. * hugez huge * 1.z
1. * mhugez
mhuge * 1.z
1. // hugez
huge // 1.z 1. // mhugez mhuge // 1.z 1. / hugez huge / 1.z
1. / mhugez
mhuge / 1.z
1. ** hugez
huge ** 1.z 1. ** mhugez mhuge ** 1.zmath.sin(huge)zmath.sin(mhuge)zmath.sqrt(huge)zmath.sqrt(mhuge)z(float(shuge) should not equal int(shuge)� �� �)r� r� r� r� r� l� )r= r r/ r r} r �evalZassertNotEqual)r3 r
r� r� r� � namespace�testr r r �test_float_overflow� s*
" z LongTest.test_float_overflowc C s� t j t j � } xy t t d � � d d d g D]X } d | } t j | � } | j | | � | | } t j | � } | j | | � q2 Wx: d D]2 } | j t t j | � | j t t j | � q� Wd S) NrL rM i� i' r r r l� �e��� r )r� r r ) r �log10�erC r8 ZassertAlmostEqual�logr} r| )r3 ZLOG10Er) r� r� rl r� Zbadr r r � test_logs� s &
zLongTest.test_logsc
sG | j } G� f d d � d � � d d d d d d d g } x] d D]U } | j | d | d | | d | d t | d � t | � t | d � g � qD W| j d d d t j t t j � g � t d � } | j d d d d | d | | d g � | j d d � | D� � x+| D]#} � | � } x| D]} � | � } | | k | | k } | j d | d | d | � �� | | k | | k } | | | � | | | k | d k � | | | k | d k � | | | k | d k � | | | k | d k � | | | k | d k � | | | k | d k � Wd QXq5Wq Wd S) Nc sv e Z d Z d d � Z � f d d � Z d d � Z d d � Z d d
� Z d d � Z d
d � Z d d � Z
d S)z)LongTest.test_mixed_compares.<locals>.Ratc S s� t | t � r$ | | _ d | _ nvt | t � r�t j t | � � \ } } | d k s| d | k oq d k n s| t � d } d } x� | r t j | | � } t | � } | | ?d k s� t � | | >| B} | | 8} d | k o� d k n s� t � | | 8} q� W| d k r,| | >} d } n | } d | >} | d k rS| } n | | _ | | _ t | � t | � | k s�t � n t
d | � � d S)Nr r g �?g �?� g zcan't deal with %r) �
isinstancer/ r r( r r Zfrexpr r r r� ) r3 r� �fr� ZCHUNK�toprN r r( r r r �__init__ s6 .
"
%z2LongTest.test_mixed_compares.<locals>.Rat.__init__c sS t | � � s � | � } n | j | j | j | j } } | | k | | k S)N)r� r r( )r3 �otherr
r< )�Ratr r �_cmp__B s !z0LongTest.test_mixed_compares.<locals>.Rat._cmp__c S s | j | � d k S)Nr )r� )r3 r� r r r �__eq__G s z0LongTest.test_mixed_compares.<locals>.Rat.__eq__c S s | j | � d k S)Nr )r� )r3 r� r r r �__ne__I s z0LongTest.test_mixed_compares.<locals>.Rat.__ne__c S s | j | � d k S)Nr )r� )r3 r� r r r �__ge__K s z0LongTest.test_mixed_compares.<locals>.Rat.__ge__c S s | j | � d k S)Nr )r� )r3 r� r r r �__gt__M s z0LongTest.test_mixed_compares.<locals>.Rat.__gt__c S s | j | � d k S)Nr )r� )r3 r� r r r �__le__O s z0LongTest.test_mixed_compares.<locals>.Rat.__le__c S s | j | � d k S)Nr )r� )r3 r� r r r �__lt__Q s z0LongTest.test_mixed_compares.<locals>.Rat.__lt__N) rk r� r� r� r� r� r� r� r� r� r� r )r� r r r� s ( r� r g����MbP?g�G�z��?g �?g �?g@��x �DgZb���tig @�0 �2 r� g333333�?r r i N c S s g | ]
} | � q Sr r )r r
r r r r _ s z0LongTest.test_mixed_compares.<locals>.<listcomp>r
r< �Rcmp� �B� C� @C)r� r� r� l6 )r= rQ r/ r �maxsizer r> )
r3 r? Zcases�tr
ZRxr< ZRyr� Zxycmpr )r� r �test_mixed_compares s0 ;
%.( *
z LongTest.test_mixed_comparesc C s | j t d d � d � | j t d d � d � | j t d d � d � | j t d8 d � d � | j t d d � d � | j t d9 d � d
� | j t d d � d � | j t d: d � d
� | j t d d
� d � | j t d; d
� d
� | j t d d � d � | j t d< d � d � | j t d d � d � | j t d d � d � | j t d d � d � | j t d= d � d � | j t d d � d � | j t d> d � d � | j t d d � d � | j t d? d � d � | j t d@ d � d � | j t dA d � d � | j t t d d � d � d � | j t t d d � d � d � | j t t d d � d � d � | j t t d d � d � d � | j t d d � d � | j t dB d � d! � | j t d d � d" � | j t dC d � d# � | j t d d$ � d" � | j t dD d$ � d# � | j t d d% � d& � | j t dE d% � d# � | j t d d' � d( � | j t dF d' � d# � | j t t d d) � | j t t d d* � x� d+ d, � t t d- � t d. � d � D� d/ d, � t t d0 � t d1 � d � D� D]� } | d2 k r-| j t t d3 | � | j t t d | � | j t t dG | � | j t t dH | � | j t t dJ | � q-q-Wx\ d6 D]T } xK d3 d dK d5 dL d7 dM g D]. } | j t | | � t t | � | � � q�Wq�Wd S)NNi�[r( Z 123456789r rZ ro z-1z-3z 1z -1z+3z +1z 3rs z 1rB r
�3�Xi� Z4d2z-4d2Z8xz 4d2z -4d2Zber] ZBEz-bez-BEr' Z11z-11Z 10011010010z -10011010010z-bz bz 10011010010z+bz +10011010010z1.3z+cc S s g | ] } t | � � q Sr )�chr)r r
r r r r � s z+LongTest.test__format__.<locals>.<listcomp>r& rV c S s g | ] } t | � � q Sr )r� )r r
r r r r � s �A�ZzbcdoxXeEfFgGn%r r rM zeEfFgG%i��Ir r r r r i.���i.���i.������r� r� i.���i.���i.���i.���r l l l���� r i����i.�i�)r= r� r/ r} r| r8 �ordr )r3 Z format_specr� r r r �test__format__o sd ""##,1
"zLongTest.test__format__c C sO | j t t t d � � | j t t t d � � | j t t t d � � d S)N�infz-inf�nan)r} r r/ r r| )r3 r r r � test_nan_inf� s zLongTest.test_nan_infc C s* d } | } | j | | d � | j | | d � | j | | d � | j | | d � | j d | d � | j d | d � | j d | d � | j d | d � | j d | | d ?| d � | j d | | d ?| d � | j d | | d ?| d � | j d | | d ?| d � | j | | d >d � | j d | | d � i | d 6| d
6} x< d d d
d d d d d g D] } | j t t | | � q�WxF d d d d d d g D], } t | | � } | j | d d | � q�Wx* d d g D] } | j t t | | � qWd S)!Nr i@� g �?g i� g Ԅ@g �?i@B r� r� z float(huge)z float(mhuge)zhuge / 1zhuge / 2z huge / -1z huge / -2z mhuge / 100z mhuge / 200z1 / hugez2 / hugez -1 / hugez -2 / hugez 100 / mhugez 200 / mhugez expected underflow to 0 from %rzhuge / 0z mhuge / 0lk
g �g �g Ԅ�g Ԅ�)r= r} r r� r! )r3 r� r� r� r� Z underflowr+ Zzeror r r �test_true_division� s8 zLongTest.test_true_divisionTc C s� | r/ t t | � t | � � d t k r/ d Sy t t | | � � } Wn/ t k
rb d } Yn t k
ry d } Yn Xy t | | � } Wn/ t k
r� d } Yn t k
r� d } Yn X| j | | d j | | | | � � d S)z�Verify that the result of a/b is correctly rounded, by
comparing it with a pure Python implementation of correctly
rounded division. b should be nonzero.r Nr� Z zerodivisionz7Incorrectly rounded division {}/{}: expected {}, got {}) r r r$ ri r, r r! r= r� )r3 r& r' Z
skip_smallrl re r r r �
check_truediv� s +
zLongTest.check_truedivc C sw | j d d � | j d& d � | j d d � | j d d' � | j d d � | j d( d t d � | j d d d t t � | j d* d
� | j d, d. � d t t t t t f } x� | D]� } x� t | d | d � D]l } | j d d t | d � d d t | d � � | j d d t | d � d d t | d � � q� Wq� Wx} d d d d d d/ d0 d1 d2 d3 d4 d6 g D]Q } xH t d7 d � D]7 } | j | t | | � | j | t | | � q�Wq�WxD t d � D]6 } | j d t d d d8 d | d t d � q�W| j d d � | j d d � xL t d � D]> } | j d | d d | � | j d | d | d � qJWxt d d d d d d! d d" d d9 d: d; d< d= d> d@ g D]< } x3 t dA d � D]" } | j d t | | | � q�Wq�Wx' t dB d# � D] } | j | dC � qWx� dD dE dF g D]� } x� t d � D]v } t j d | � } t j | d | d � } | j | | � | j | | � | j | | � | j | | � qPWq=Wx� t d% � D]� }
t j d � } t j d d � } t j d | � }
t j d d | � } | j |
| � | j |
| � | j |
| � | j |
| � q�Wd S)GN�{ r i� rB i� i90 r iNF rM í � r
�Q r i0& iC r � rK � i3 �) r� rL � �� i�
l �E,J_ l �J�b i� r r[ r] � rq i4 i' i8���r� ige~ l l d�i @l 90l �(km�1'}XbCK';+s�Q�0�,�52pHR�! l {���u�0h��9*sgJ<�,�}�xFn l atz$� �h�Y�1Qjg9i�^�lv.52%�jSXv�r r ���i��i���l P�Dg�J�+� !V��!GN11�?� K^Se l��P�Dg�J�+� !V��!GN11�?� K^Se i����l l atz$� �h�Y�1Qjg9i�^�lv.52%�jSXv�r r r� i��i���l P�Dg�J�+� !V��!GN11�?� K^Se l��P�Dg�J�+� !V��!GN11�?� K^Se i����i��lH l d( l DG��d�r���Y�|g�O�s&YR5I l� 3qvN�h�iKa��K�P�" �q�� ��!��a�0mvK0<tI D�[��7� fj �wld: ,"�P�S�^
g�2�$�({P _R�U��vD9�{�)P�Anf�YD8�5 PgH�#�q�EgS�d27�}��W>�Y� �y�{A\< �z�kZ � �p�+�*�eX9� �E��i�/�\;��:�8bG�((ema!� �6�o�}Z s'%COd�
�YP]��[BT�vWL? F�Ch_"!�x"'� �j�j�4�x�o�CD<Y#!*�vYyv�#�e�JU>�+i[�9*-Jc+`�S;?lcy ) r� r� r$ r# r8 r r" r0 � randrange)r3 �basesra r) �mr r: �Mr& r' �_Za_bitsZb_bitsr
r< r r r �$test_correctly_rounded_true_division� sf
3; !! ! $z-LongTest.test_correctly_rounded_true_divisionc C s; xt d d � D]� } | j | | d � | j | | d � | j | | d � | j | | d � | j | | d @� | j | | d B� | j | | d A� | j | | � | j | | d � | j | t t | � � � | j | | d >d ?t | � � q Wd } | j | | d � | j d | d � d S)
NrK i r r r r r� r l )r8 �assertIsr/ rh )r3 r: r r r �test_small_intsR s %zLongTest.test_small_intsc C sE d } x� t d d � D]� } | j � } | j | t t | � j d � � � | d k r� | j d | d t | � k o� d | k n � n | j | d � | d k r | j | d t j t j
t | � � t j
d � | � � q q W| j d j � d � | j d j � d � | j d j � d � | j d j � d � | j d j � d � x� d d d d d
d d d
d d d g D]� } d | } | j | d j � | � | j d | j � | � | j | j � | d � | j | j � | d � | j | d j � | d � | j | d j � | d � q�Wd S)Ng�����|�=i� z-0br r r rB r r] r� rz r� �! r{ �@ �� i��r r ) r8 r r= �lenrf �lstripr2 r r Zfloorr� )r3 Ztinyr
�kr: r& r r r �test_bit_lengthd s. % 8 2.
zLongTest.test_bit_lengthc C s� i d d 6d d 6d d 6d d 6d d 6d d 6d d 6d d 6d d
6d d 6d d 6d d 6d d
6d d 6d d 6d d 6d d 6d d 6d d 6d d 6} xz t d: d d � D]f } x] | j � D]O \ } } t | | d; � } | | } | j | | � | j t | � t � q� Wq� W| j t d< d= � d> � | j t d? d@ � dA � | j t dB dC � dD � | j t dE dF � d � | j t dG dH � d � | j t dI dJ � d � | j t d dK � d � | j t d dL � d � | j t d dM � d � | j t d dN � d � | j t d dO � d � | j t d dP � d � | j t d dQ � d � | j t d dR � d � | j t d dS � d � | j t d! dT � d" � | j t d# dU � d$ � | j t d% dV � d& � | j t d% dW � d' � | j t d% dX � d( � | j t d% dY � d) � | j t d% dZ � d* � | j t d% d[ � d+ � | j t d% d\ � d, � | j t d% d] � d- � | j t d% d^ � d. � | j t d% d_ � d/ � | j t d% d` � d � | j t d% da � d � | j t d% db � d � xb t d d � D]Q } t d | d1 dc � } d | d2 } | j | | � | j t | � t � q
Wxr t d � D]d } x[ t d � D]M } t j dd d3 � }
t |
| � } | j | |
� | j t | � t � q�WqoWx' dm D] } | j t d6 | � d6 � q�WxX t d � D]J } t j dn d3 � }
t |
� } | j | |
� | j t | � t � qWdo } x$ | D] }
| j t
t d |
� qiWd S)pNr r r rB r rK rL r� r
r[ r� r� r� r� rA rq r r] r� � � i � r� � rM �3 r� �1 r� � i, iԡ i� i�� i�� l ! l ! l �~! l � ! l � ! l `! l ! l '�! l z+ l v|o l ,Gx i� iF� i�� i' rz r{ i{� �brian� @� i����r ij���r i8���ik���r i����i���r i����i���r i���r r r r r r r r r r r r r� r� r r r� r� r� i����i����i����i����i����i����i�i���r� i���l ��� l � ���� � � � DG��d�r���Y�|g�O�s&YR5I )r� r� r� r� r� r� i���)r� r� r� N) r8 �items�roundr= r� �typer/ r0 r� r} r� )r3 Z test_dict�offsetr� r re rl Zexpectr r: r
Zhuge_nZ
bad_exponentsr� r r r �
test_round� sx -?&
zLongTest.test_roundc s@ d � f d d � } i d d 6d d 6d d6 6d d7 6d d8 6d
d9 6d d
6d d 6d d: 6d d; 6d d 6d d 6d d 6d d< 6d d 6d d= 6d d> 6} | | d! d" d# �i d d 6d d 6d d? 6d d@ 6d dA 6d dB 6d d
6d$ d 6d% dC 6d dD 6d d 6d& d 6d
d 6d' dE 6d( d 6d) dF 6d* dG 6} | | d+ d" d# �i
d d 6d d 6d d
6d d 6d d 6d d 6d d 6d, d 6d- d 6d. d 6} | | d! d" d �i
d d 6d d 6d d
6d d 6d d 6d& d 6d
d 6d' d 6d- d 6d/ d 6} | | d+ d" d �� j t d j d d! d" d �� j t d j d d! d" d# �� j t d j d d+ d" d �� j t d j d d+ d" d# �� j t dH j d0 d! d" d �� j t dI j d0 d+ d" d �� j d j d d! � d1 � � j d j d2 d! � d3 � � j d j d2 d! � d4 � � j dJ j d2 d! d" d# �d5 � � j t d j d d! � d S)KNFc s� x� | j � D]~ \ } } y, � j | j t | � | d | �| � Wq
t k
r� } z# t d j | | | � � | � WYd d } ~ Xq
Xq
Wd S)N�signedz7failed to convert {0} with byteorder={1} and signed={2})r� r= �to_bytesr� � Exceptionr r� )�tests� byteorderr r� rl �err)r3 r r �check� s z%LongTest.test_to_bytes.<locals>.checks r s r s �s �� s �r� s �� s s �s �� s � � s �s s �i� s �� i � s ��i�� s � i s � i � �bigr Ts � s �s s �s �� s �s ��littles � s ��s s r � rK s s s �����r i����i����i���i���i ���i ���i ��i ��r i����i����i���i���i ���i ���i ��i ��r r r )r} r r r= )r3 r �tests1�tests2�tests3�tests4r )r3 r �
test_to_bytes� s�
zLongTest.test_to_bytesc sx d � f d d � } i d d 6d d 6d d 6d d 6d d
6d8 d 6d9 d 6d: d 6d; d 6d< d 6d
d 6d d 6d= d 6d> d 6d d 6d d 6d d 6d? d 6d d 6d@ d" 6dA d$ 6} | | d% d& d' �i d d 6d d 6d d 6d d 6d d
6dB d 6dC d 6dD d 6dE d 6dF d 6d
d 6d d( 6dG d) 6dH d 6d d 6d d
6d d 6dI d* 6d d+ 6dJ d, 6dK d- 6} | | d. d& d' �i d d 6d d 6d d 6d
d 6d d 6d d 6d d 6d d 6d d 6d d 6d! d/ 6} | | d% d& d �i d d 6d d 6d d 6d
d 6d d 6d d 6d d
6d d 6d d* 6d d 6d! d0 6} | | d. d& d �Gd1 d2 � d2 t � } � j t | j d d% � � | � � j | j d d% � d � � j t | j d d% d& d �� | � � j | j d d% d& d �d � � j t | j d d. � � | � � j | j d d. � d � � j t | j d d. d& d �� | � � j | j d d. d& d �d � � j t j d d d g d% d& d' �dL � � j t j dM d% d& d' �dN � � j t j t d" � d% d& d' �dO � � j t j t d" � d% d& d' �dP � � j t j t j d3 d" � d% d& d' �dQ � � j t j t d" � d% d& d' �dR � � j t t j d g d% � � j t t j d g d4 � � j t t j d g d5 � � j t
t j d6 d% � � j t
t j d7 d% � � j t
t j d d% � � j t
t j d d% d' � � j t
| j d6 d% � � j t
| j d7 d% � � j t
| j d d% � � j t
t j d d% d' � d S)SNFc s� x� | j � D]x \ } } y& � j t j | | d | �| � Wq
t k
r� } z# t d j | | | � � | � WYd d } ~ Xq
Xq
Wd S)Nr z9failed to convert {0} with byteorder={1!r} and signed={2})r� r= r/ �
from_bytesr r r� )r r r r� rl r )r3 r r r 4 s z'LongTest.test_from_bytes.<locals>.checkr r s s r s s s �s ��r s �r� s �r s �s s �r
s �r s � s �s i� s �i � s � i�� s ��i s � i � s � r r Ts � s �s �s �� s �s �r
s s c @ s e Z d Z d S)z'LongTest.test_from_bytes.<locals>.myintN)rk r� r� r r r r �myint� s r �BZbig Zlittle r\ � r r i����i����i���i���i ���i ���i ��i ��r r i����i����i���i���i ���i ���i ��i ��i ��)r
r r i ��i ��i ��i ��i ��) r/ r� r� r r= � bytearray�array�
memoryviewr} r| r� )r3 r r r r r r r )r3 r �test_from_bytes3 s�
" """ "% " zLongTest.test_from_bytesc sc Gd d � d t � � � f d d � t d � D� } x' t t | � D] } | j | d � qE Wd S)Nc @ s e Z d Z d d d � Z d S)z<LongTest.test_access_to_nonexistent_digit_0.<locals>.Integerr c S s t j | | � } d | _ | S)N�foo)r/ �__new__r )�clsr� r3 r r r r � s zDLongTest.test_access_to_nonexistent_digit_0.<locals>.Integer.__new__N)rk r� r� r r r r r �Integer� s r c s g | ] } � d � � q S)r r )r r: )r r r r � s z?LongTest.test_access_to_nonexistent_digit_0.<locals>.<listcomp>i� r )r/ r8 �mapr= )r3 Zintegersr r )r r �"test_access_to_nonexistent_digit_0� s z+LongTest.test_access_to_nonexistent_digit_0c C sZ xS d D]K } xB d D]: } | j t | | >� t � | j t | | ?� t � q Wq Wd S)NTFr r )TF)r r )r= r� r/ )r3 r� r r r r �test_shift_bool� s
zLongTest.test_shift_boolN)$rk r� r� r7 r; r@ rJ rR rT rU rW rY rc rm rn r� r� r� r Zrequires_IEEE_754r� r� r� r� r� r� r� r� r� r� r� r r r r! r" r r r r r- s s> '
5 F ^ B " \ " J c � r- c C s t j t � d S)N)r Z run_unittestr- r r r r � test_main� s r# �__main__)#Zunittestr� r r r0 r r �int_info�bits_per_digitr. ZBASEr9 rE rD rX rS r8 r: rF r r r� r r� �min_expr# r r$ r" r r, ZTestCaser- r# rk r r r r �<module> s@
( . � � � � _