??#x d dl T d dlZd dlmZ d dlZd dlZd dlZ d dlZ dZ
n
# e$ r d Z
Y nw xY we
rd Znd Z e
Ze ZeZe
ZeZeZd Zd Zd Zd'd
Zd Zd Zd
Zd Zd Zd Z d Z!d(dZ" G d de Z# d Z$d)dZ%d Z&d Z'd Z(d Z) d Z*d Z+ G d d Z, G d! d" Z-d'd#Z.d$ Z/d% Z0 e, Z1e2d&k r e0 dS dS )* )*N)process_time c
t t t t j | ||g S N)listmapintnumpyrandomrandom_integerslowhighlengths c/builddir/build/BUILD/cloudlinux-venv-1.0.10/venv/lib64/python3.11/site-packages/guppy/sets/test.pyrandom_integers_listr s0 CU\99#tfXNNOOPPP c > fdt | D S )Nc : g | ]}t j S )r randint).0ir r s r
z(random_integers_list.. s% AAAasD))AAAr )ranger s `` r r r s' AAAAA5==AAAAr c > | | |z z | k sJ | | |z z | k sJ d S r r abs r
absorptionr! # s: A;!A;!r c V | |z |z | ||z z k sJ | |z |z | ||z z k sJ d S r r r r cs r associativer% ( sJ
EQ;!q1u+%%%%
EQ;!q1u+%%%%%%r c > | |z || z k sJ | |z || z k sJ d S r r r s r commutativer' - s0 q5AE>>>>q5AE>>>>>>r c |$| |z | | z k sJ | |z | | z k sJ d S || |z z
|| z
||z
z k sJ || |z z
|| z
||z
z k sJ d S r r r# s r deMorganr) 2 s yQxA27""""QxA27""""""AE{q1uQ/////AE{q1uQ///////r c 2 | | z | k sJ | | z | k sJ d S r r )r s r idempotencer+ ; s( q5A::::q5A::::::r c ^ | |z | k sJ | |z |k sJ | |z | k sJ | |z |k sJ d S r r r s r inclusionr- @ sJ q5A::::q5A::::q5A::::q5A::::::r c | ||z z | |z | |z z k sJ | ||z z | |z | |z z k sJ | |z ||z z || z z | |z ||z z || z z k sJ | |z | |z k r| |z | |z k r
||k sJ d S d S d S r r r# s r distributiver/ G s A;1q5QU+++++A;1q5QU+++++
Ea!eA&1q5QU*;q1u*EEEEEAQ1q5AE>>qAvvv>>>vvr c | D ]~}t | |D ]j}t || t || t || |D ]5}t ||| t ||| t
||| 6kd S r )r+ r- r' r! r% r/ r) )as_bscsr r r$ s r test_set_operationsr4 N s
" "A " "AaOOO1q!
"
"Aq!$$$Q1%%%Aq!!!!
" " " "r c d }| D ]}|D ]} |t | t | k ||k |||k ||k o||k |||k ||k o||k s||k o||k |||k ||k o||k o
||k o||k |||k ||k o||k |||k ||k o||k |||k ||k o||k s||k o||k d S )Nc | r|sJ d S d S r r r s r impztest_set_sub..imp\ s zr )len)r1 r2 r7 r r s r test_set_subr9 [ s
D D D DACA#a&& !q&)))CAq1u,a!e)---CQQBAEOQ!VBQUCCCCQQG16G!q&jGaZHHHCQAF
116z222CAq1u*QU+++CQQBAEOQ!VBQUCCCC DD Dr c | D ]U}t | t t | k sJ t ||z t | k sJ t ||z t | k sJ |D ]}t ||z t t ||z k sJ t ||z t t ||z k sJ t ||z
t t ||z
k sJ t ||z t t ||z k sJ אWd S r )r8 r r1 r2 r r s r test_set_lenr<