o
    GZh                     @   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   R/var/www/auris/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
   divZtau_nZ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)Z
hypothesisr   r   stZsympyr   Z%sympy.functions.combinatorial.numbersr   r   Zsympy.ntheory.primetestr   Zintegersr   r   r   r   r   r   <module>   s    

