
    sg                         d dl mZ d dlmZ d dlmZ d dlmZ d dlm	Z	 d dl
mZ d dlmZ d dlmZmZ d	 Zd
 Zd Zd Zed        Zd Zd Zd Zd Zd Zy)    )	unchanged)S)Symbol)Contains)IntervalPowerSet)	FiniteSet)raisesXFAILc                     t        t        t        dd            sJ t        t        t        j                        sJ t        t        d        t        t        t        j                        sJ t        t        t        j                        sJ y )N      c                      t        d      S )N{   r        Q/var/www/html/venv/lib/python3.12/site-packages/sympy/sets/tests/test_powerset.py<lambda>z(test_powerset_creation.<locals>.<lambda>   s
    x} r   )	r   r	   r
   r   EmptySetr   
ValueErrorRealsIntegersr   r   r   test_powerset_creationr      s_    XyA///Xqzz***
:,-Xqww'''Xqzz***r   c            
         t        t        dd            j                  t              t        t        j                  t        d      t        d      t        dd            k(  sJ t        t        j                        j                  t              t        t        j                        k(  sJ t        t        j
                        j                  t              t        t        j
                        k(  sJ y Nr   r   )r	   r
   rewriter   r   Naturalsr   r   r   test_powerset_rewrite_FiniteSetr      s    IaO$,,Y7!**ilIaL)Aq/JK K KAJJ''	2i

6KKKKAJJ''	2hqzz6JJJJr   c            	         t        t        j                        j                  t              t	        t        j                        k(  sJ t        t        j                  t        d      t        d      t        dd            j                  t              t	        t        dd            k(  sJ t        ddd      j                  t              t        ddd      k(  sJ y Nr   r      )r
   r   r   r   r	   r   r   r   test_finiteset_rewrite_powersetr#      s    QZZ ((2hqzz6JJJJ	

IaL!i1o''.wx'8Yq!_%& & & Q1%%h/9Q13EEEEr   c                     t         j                  t        dd      t         j                  t         j                  t         j
                  t         j                  t         j                  t         j                  g} t        |       }t        |      D ]F  }t        |      D ]6  }||k  r| |   t        | |   d      v rJ | |   t        | |   d      vr6J  H y )Nr   r   Fevaluate)r   r   r
   r   	Naturals0r   	Rationalsr   	Complexeslenranger	   )subset_serieslijs       r   test_powerset__contains__r0   #   s    	

!Q	

		

			M 	MA1X ?q 	?AAv$Q']1->? ? ? %Q']1->? ? ?	??r   c                     t        dd      t        t        j                        j	                  t               vsJ t        j
                  t        t        j                        j	                  t               vsJ t        j
                  t        t        dd            j	                  t               vsJ t        j                  t        t        j                        j	                  t               vsJ t        j                  t        t        dd            j	                  t               vsJ t        j                  t        t        j                        j	                  t               vsJ t        j                  t        t        dd            j	                  t               vsJ t        j                  t        t        j                        j	                  t               vsJ t        j                  t        t        dd            j	                  t               vsJ t        j                  t        t        j                        j	                  t               vsJ t        j                  t        t        dd            j	                  t               vsJ t        j                  t        t        j                        j	                  t               vsJ t        j                  t        t        dd            j	                  t               vsJ y r   )r
   r	   r   r   r   r   r'   r   r(   r   r)   r   r   r   !test_failing_powerset__contains__r2   9   s     Q?(1::"6">">y"IIII::Xajj199)DDDD::Xi1o6>>yIIII;;hqzz2::9EEEE;;hyA7??	JJJJ::Xajj199)DDDD::Xi1o6>>yIIII;;hqzz2::9EEEE;;hyA7??	JJJJ77(1::.66yAAAA77(9Q?3;;IFFFF;;hqzz2::9EEEE;;hyA7??	JJJJr   c                     t        t        j                  d      } t        |       dk(  sJ t        | d      } t        |       dk(  sJ t        | d      } t        |       dk(  sJ t        | d      } t        |       dk(  sJ y )NFr%   r   r         )r	   r   r   r*   )As    r   test_powerset__len__r7   L   sv    e,Aq6Q;;U#Aq6Q;;U#Aq6Q;;U#Aq6R<<r   c                     t        t        dd            j                         } t        |       t        j
                  k(  sJ t        |       t        d      k(  sJ t        |       t        d      k(  sJ t        |       t        dd      k(  sJ t        t        j                        j                         } t        |       t        j
                  k(  sJ t        |       t        d      k(  sJ t        |       t        d      k(  sJ t        |       t        dd      k(  sJ t        |       t        d      k(  sJ t        |       t        dd      k(  sJ t        |       t        dd      k(  sJ t        |       t        ddd      k(  sJ y r!   )r	   r
   __iter__nextr   r   r   )as    r   test_powerset__iter__r<   W   sG   1a!**,A7ajj   7il"""7il"""7i1o%%%%%'A7ajj   7il"""7il"""7i1o%%%7il"""7i1o%%%7i1o%%%7i1a((((r   c                     t        t        d      d      } | j                  d      t        d|       k(  sJ t	        d      }t        t        |      d      } | j                  t        d            t        t        d      |       k(  sJ y )Nr   Fr%   r   x)r	   r
   containsr   r   )r6   r>   s     r   test_powerset_containsr@   i   sm    1.A::a=HQN***sA1.A::il#x	!a'@@@@r   c                     t               } | j                         }t        |      dk(  sJ |t        t        j                        k(  sJ t        dd      } | j                         }t        |      dt        |       z  k(  sJ |t        t               t        d      t        d      |       k(  sJ t        dd      } | j                         t        |       k(  sJ y )Nr   r   r   )r
   powersetr*   r   r   r   r	   )r6   psets     r   test_powerset_methodrD   s   s    A::<Dt9>>Iajj)))) 	!QA::<Dt93q6	!!!9Y[)A,&q\1. . . . 	AA::<8A;&&&r   c                      t        t        d            } t        t        dd            }t        t        dd            }| j                  |      sJ |j                  |      rJ y r!   )r	   r
   	is_subset)subsetrC   bad_sets      r   test_is_subsetrI      s[     il#FIaO$DyA'GD!!!~~g&&&&r   N)sympy.core.exprr   sympy.core.singletonr   sympy.core.symbolr   sympy.sets.containsr   sympy.sets.fancysetsr   sympy.sets.powersetr	   sympy.sets.setsr
   sympy.testing.pytestr   r   r   r   r#   r0   r2   r7   r<   r@   rD   rI   r   r   r   <module>rR      sc    % " $ ( ) ( % .+KF?, K K$)$A'"	'r   