File: //opt/alt/python37/lib64/python3.7/site-packages/guppy/sets/__pycache__/test.cpython-37.opt-1.pyc
B
    �]͵  �               @   s�  d dl T d dlZd dlmZ d dlZd dlZd dlZyd dlZ	W n e
k
rX   d ZY nX dZerldd� Zndd� Ze
� Ze ZeZe
ZeZeZdd	� Zd
d� Zdd
� Zd?dd�Zdd� Zdd� Zdd� Zdd� Zdd� Zdd� Z dd� Z!d@dd �Z"G d!d"� d"e�Z#d#d$� Z$dAd&d'�Z%d(d)� Z&d*d+� Z'd,d-� Z(d.d/� Z)d0d1� Z*d2d3� Z+G d4d5� d5�Z,G d6d7� d7�Z-dBd8d9�Z.d:d;� Z/d<d=� Z0e,� Z1e2d>k�r�e0�  dS )C�    )�*N)�process_time�   c             C   s   t tttj�| ||g���S )N)�list�map�int�numpy�randomZrandom_integers)�low�high�length� r
   �B/opt/alt/python37/lib64/python3.7/site-packages/guppy/sets/test.py�random_integers_list   s    r   c                s   � �fdd�t |�D �S )Nc                s   g | ]}t ��� ��qS r
   )r	   �randint)�.0�i)r   r
   r
   r   �
<listcomp>   s    z(random_integers_list.<locals>.<listcomp>)�range)r
   r   r   r
   )r   r
   r   r      s    c             C   s   d S )Nr
   )�a�br
   r
   r   �
absorption#   s    r   c             C   s   d S )Nr
   )r   r   �cr
   r
   r   �associative(   s    r   c             C   s   d S )Nr
   )r   r   r
   r
   r   �commutative-   s    r   c             C   s   |d kr
n d S )Nr
   )r   r   r   r
   r
   r   �deMorgan2   s    r   c             C   s   d S )Nr
   )r   r
   r
   r   �idempotence;   s    r   c             C   s   d S )Nr
   )r   r   r
   r
   r   �	inclusion@   s    r   c             C   s   d S )Nr
   )r   r   r   r
   r
   r   �distributiveG   s    r   c             C   sx   xr| D ]j}t |� x\|D ]T}t||� t||� t||� x0|D ](}t|||� t|||� t|||� q@W qW qW d S )N)r   r   r   r   r   r   r   )�as_�bsZcsr   r   r   r
   r
   r   �test_set_operationsN   s    
r!   c             C   s,  dd� }�x| D �]}�x
|D �] }|t |�t |�k||k� |||k ||koV||k  � |||k||ko�||k sz||ko�||k � |||k||ko�||ko�||k o�||k � |||k||k o�||k � |||k||k o�||k � |||k||k�o||k �s||k�o||k  � qW qW d S )Nc             S   s   d S )Nr
   )r   r   r
   r
   r   �imp\   s    ztest_set_sub.<locals>.imp)�len)r   r    r"