U
    L?h                     @   sx   d dl mZ d dl mZ d dlmZ d dlmZmZ d dl	m
Z
 eedddd	d
 Zeeddddd ZdS )    )given)
strategies)divisors)divisor_sigmatotient)	is_square   l    d(	 nc                    st   t  }t|}t |d dkks(tdd |D } fdd|D }dd t||D } | t|ksptd S )N   r   c                 S   s   g | ]}t |qS  )r   .0ir   r   U/var/www/html/venv/lib/python3.8/site-packages/sympy/ntheory/tests/test_hypothesis.py
<listcomp>   s     z'test_tau_hypothesis.<locals>.<listcomp>c                    s   g | ]}t  | qS r   r   r   r	   r   r   r      s     c                 S   s   g | ]\}}|| qS r   r   )r   abr   r   r   r      s     )r   lenr   AssertionErrorzipsum)r
   divZtau_nZsigmastotientsmulr   r	   r   test_tau_hypothesis   s    r   c                 C   s:   t | | kstt| }dd |D }| t|ks6td S )Nc                 S   s   g | ]}t |qS r   r   r   r   r   r   r      s     z+test_totient_hypothesis.<locals>.<listcomp>)r   r   r   r   )r
   r   r   r   r   r   test_totient_hypothesis   s    r   N)Z
hypothesisr   r   stZsympyr   Z%sympy.functions.combinatorial.numbersr   r   Zsympy.ntheory.primetestr   Zintegersr   r   r   r   r   r   <module>   s   

