o
    jg                     @   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J dd |D } fdd|D }dd t||D } | t|ks8J d S )N   r   c                 S      g | ]}t |qS  )r   .0ir   r   [/var/www/html/zoom/venv/lib/python3.10/site-packages/sympy/ntheory/tests/test_hypothesis.py
<listcomp>       z'test_tau_hypothesis.<locals>.<listcomp>c                    s   g | ]}t  | qS r   r   r   r	   r   r   r          c                 S   s   g | ]\}}|| qS r   r   )r   abr   r   r   r      r   )r   lenr   zipsum)r
   divtau_nsigmastotientsmulr   r	   r   test_tau_hypothesis   s   r    c                 C   s:   t | | ksJ t| }dd |D }| t|ksJ d S )Nc                 S   r   r   r   r   r   r   r   r      r   z+test_totient_hypothesis.<locals>.<listcomp>)r   r   r   )r
   r   r   r   r   r   test_totient_hypothesis   s   r!   N)
hypothesisr   r   stsympyr   %sympy.functions.combinatorial.numbersr   r   sympy.ntheory.primetestr   integersr    r!   r   r   r   r   <module>   s    

