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"