+
    i}=                     B   ^ RI Ht ^ RIHt ^ RIHtHt ^ RIHtH	t	 ^ RI
Ht ^ RIHt ^ RIHt ^ RIHt ^ R	IHt ^ R
IHtHt ^ RIHtHtHt ^ RIHtHt ]! R4      w  ttt R t!R t"R t#R t$]R 4       t%R t&R t'R t(R t)R t*R t+R t,R t-R t.R t/R t0R t1R t2R  t3R!# )"    )Q)assuming)Ipi)EqGt)S)symbols)Abs)Implies)MatrixSymbol)CNFLiteral)sataskextract_predargsget_relevant_clsfacts)raisesXFAILzx y zc                     \        \        P                  ! \        4      \        P                  ! \        4      4      R J g   Q h\        \        P                  ! \        4      \        P                  ! \        4      ( 4      RJ g   Q h\        \        P                  ! \        4      4      e   Q h\        \        P                  ! \        4      \        P                  ! \        4      4      R J g   Q h\        \        P                  ! \        4      \        P                  ! \        4      4      e   Q h\        \        P                  ! \        4      \        P                  ! \        4      ( 4      e   Q h\        \        P                  ! \        4      \        P                  ! \        4      ( 4      RJ g   Q h\        \        R 4       \        \        P                  ! \        4      4      ;_uu_ 4        \        \        P                  ! \        4      4      R J g   Q h\        \        P                  ! \        4      ( 4      RJ g   Q h\        \        R 4       RRR4       \        \        P                  ! \        4      \        P                  ! \        4      4      RJ g   Q h\        \        P                  ! \        4      \        P                  ! \        4      4      RJ g   Q h\        \        P                  ! \        4      \        P                  ! \        4      4      R J g   Q h\        \        P                  ! \        4      \        P                  ! \        \        ,          4      4      e   Q h\        \        P                  ! \        \        ,          4      \        P                  ! \        4      4      '       g   Q hR#   + '       g   i     ELs; i)TFNc                      \        \        P                  ! \        4      \        P                  ! \        4      \        P                  ! \        4      ( ,          4      # N)r   r   realx     a/var/www/html/photoedit/myenv/lib/python3.14/site-packages/sympy/assumptions/tests/test_satask.py<lambda>test_satask.<locals>.<lambda>   s*    vaffQiaffQiZ1GHr   c                  |    \        \        P                  ! \        4      \        P                  ! \        4      ( 4      # r   )r   r   r   r   positiver   r   r   r   r   $   s    6!&&)ajjm^#Dr   )r   r   r   r   r    r   
ValueErrorr   zerononzeroyr   r   r   test_sataskr%      s,   !&&)QVVAY'4///!&&)affQiZ(E111!&&)$$$!&&)QZZ]+t333!**Q-+333!&&)ajjm^,444!**Q-!&&),555
:HI	!**Q-	 	 affQi D(((qzz!}n%...zDE 
!
 !&&)QYYq\*e333!**Q-+u444!&&)QVVAY'4///!&&)QVVAaC[)111!&&1+qvvay)))) 
!	 	 s   /A%N>>O	c            	        \        \        P                  ! \        4      \        P                  ! \        4      ,          \        P                  ! \        \        ,          4      4      RJ g   Q h\        \        P                  ! \        \        ,          4      \        P                  ! \        4      \        P                  ! \        4      ,          4      RJ g   Q h\        \        \        P                  ! \        4      \        P                  ! \        \        ,          4      4      4      RJ g   Q h\        \        P                  ! \        4      \        P                  ! \        4      ,          \        P                  ! \        \        ,          4      4      RJ g   Q h\        \        P                  ! \        4      \        P                  ! \        ^,          4      4      RJ g   Q hR# )z
Everything in this test doesn't work with the ask handlers, and most
things would be very difficult or impossible to make work under that
model.

TFN)r   r   r"   r   r$   r   r#   r   r   r   	test_zeror'   -   s     !&&)affQi'!5===!&&1+qvvay166!945==='!&&)QVVAaC[12d::: !&&)affQi'1Q38EAAA!&&)QVVAqD\*d222r   c                  D   \        \        P                  ! \        \        ,           4      \        P
                  ! \        4      \        P
                  ! \        4      ,          4      R J g   Q h\        \        P
                  ! \        4      \        P
                  ! \        4      ,          \        P                  ! \        \        ,           4      4      R J g   Q h\        \        P                  ! \        \        ,           4      \        P
                  ! \        4      \        P
                  ! \        4      ,          4      RJ g   Q h\        \        P
                  ! \        4      \        P
                  ! \        4      ,          \        P                  ! \        \        ,           4      4      e   Q h\        \        P                  ! \        \        \        ,           ,          4      \        P
                  ! \        4      \        P
                  ! \        4      ,          4      R J g   Q h\        \        P
                  ! \        \        ,          \        ,          ^,           4      \        P
                  ! \        4      \        P
                  ! \        4      ,          4      RJ g   Q h\        \        P
                  ! \        \        ,          \        ,          ^,
          4      \        P
                  ! \        4      \        P
                  ! \        4      ,          4      e   Q hR# FTN)r   r   r"   r   r$   r    r#   r   r   r   r   test_zero_positiver*   B   s   !&&Q-AA!>?5HHH!**Q-!**Q-/A?5HHH!))AE"AJJqMAJJqM$ABdJJJ!**Q-!**Q-/1q51ABJJJ !&&AE#QZZ]QZZ]%BCuLLL!**RT!VaZ(!**Q-!**Q-*GHDPPP!**RT!VaZ(!**Q-!**Q-*GHPPPr   c                     \        \        P                  ! \        \        ,          4      \        P                  ! \        4      \        P
                  ! \        4      ,          4      R J g   Q h\        \        P                  ! \        \        ,          4      \        P                  ! \        4      \        P                  ! \        4      ,          4      RJ g   Q h\        \        P                  ! \        4      \        P                  ! \        \        ,          4      4      R J g   Q h\        \        P                  ! \        \        ,          4      \        P                  ! \        4      4      e   Q hR# TFN)r   r   r"   r   r$   r    r#   r   r   r   test_zero_powr-   O   s    !&&A,q	AJJqM 9:dBBB!&&A,		!qvvay 89UBBB!&&)QVVAqD\*d222!&&A,q	*222r   c                  &   \        R ^^4      p \        R^^4      p\        \        P                  ! W,          4      \        P                  ! V 4      \        P                  ! V4      ,          4      RJ g   Q h\        \        P                  ! V 4      \        P                  ! W,          4      4      RJ g   Q h\        \        P                  ! V 4      \        P                  ! V4      ,          \        P                  ! W,          4      4      RJ g   Q hR# )ABTN)r   r   r   
invertible)r/   r0   s     r   test_invertibler2   X   s     	S!QAS!QA!,,qs#Q\\!_q||A%FG4OOO!,,q/1<<#45===!,,q/ALLO3Q\\!#5FG4OOOr   c                     \        \        P                  ! ^4      4      RJ g   Q h\        \        P                  ! ^4      4      RJ g   Q h\        \        P                  ! R4      4      RJ g   Q h\        \        P                  ! \        \        ,          4      \        P
                  ! \        4      \        P
                  ! \        4      ,          4      e   Q h\        \        P                  ! \        \        ,          4      \        P                  ! \        4      \        P                  ! \        4      ,          4      RJ g   Q hR# )   TFN)r   r   primer   r$   integerr   r   r   
test_primer8   b   s    !''!*%%%!''!*&&&!''"+%'''!''!A#,		!qyy| ;<DDD!''!A#,
QWWQZ 78EAAAr   c                  	   \        \        P                  ! ^4      4      RJ g   Q h\        \        P                  ! R4      4      RJ g   Q h\        \        P                  ! ^ 4      4      RJ g   Q h\        \        P                  ! \        4      4      RJ g   Q h\        \        P                  ! \        4      4      RJ g   Q h\        \        P
                  ! ^4      4      RJ g   Q h\        \        P
                  ! R4      4      RJ g   Q h\        \        P
                  ! ^ 4      4      RJ g   Q h\        \        P
                  ! \        4      4      RJ g   Q h\        \        P
                  ! \        4      4      RJ g   Q h\        \        P                  ! ^4      4      RJ g   Q h\        \        P                  ! R4      4      RJ g   Q h\        \        P                  ! ^ 4      4      RJ g   Q h\        \        P                  ! \        4      4      RJ g   Q h\        \        P                  ! \        4      4      RJ g   Q h\        \        P                  ! ^4      4      RJ g   Q h\        \        P                  ! R4      4      RJ g   Q h\        \        P                  ! ^ 4      4      RJ g   Q h\        \        P                  ! \        4      4      RJ g   Q h\        \        P                  ! \        4      4      RJ g   Q h\        \        P                  ! ^4      4      RJ g   Q h\        \        P                  ! R4      4      RJ g   Q h\        \        P                  ! ^ 4      4      RJ g   Q h\        \        P                  ! \        4      4      RJ g   Q h\        \        P                  ! \        4      4      RJ g   Q h\        \        P                  ! ^4      4      RJ g   Q h\        \        P                  ! R4      4      RJ g   Q h\        \        P                  ! ^ 4      4      RJ g   Q h\        \        P                  ! \        4      4      RJ g   Q h\        \        P                  ! \        4      4      RJ g   Q hR# )   TFN)
r   r   r    r   r   negativer"   r#   nonpositivenonnegativer   r   r   test_old_assumpr?   k   s6   !**Q- D(((!**R.!U***!**Q- E)))!**Q- E)))!**R.!T)))!**Q- E)))!**R.!T)))!**Q- E)))!**Q- E)))!**R.!U***!&&)%%%!&&*&&&!&&)$$$!&&)%%%!&&*&&&!))A,4'''!))B- D(((!))A,5(((!))A,5(((!))B- D(((!--"#u,,,!--#$,,,!--"#t+++!--"#u,,,!--#$---!--"#t+++!--#$---!--"#t+++!--"#u,,,!--#$,,,r   c                     \        \        P                  ! ^4      4      RJ g   Q h\        \        P                  ! ^4      4      RJ g   Q h\        \        P                  ! \        4      4      RJ g   Q h\        \        P                  ! \        4      4      RJ g   Q h\        \        P                  ! \
        4      4      RJ g   Q h\        \        P                  ! \
        4      4      RJ g   Q h\        \        P                  ! \        \        ,          \        ,          4      \        P                  ! \        4      \        P                  ! \        4      ,          \        P                  ! \        4      ,          4       e   Q h\        \        P                  ! \        \        ,          \        ,          4      \        P                  ! \        4      \        P                  ! \        4      ,          \        P                  ! \        4      ,          4      RJ g   Q h\        \        P                  ! \        \        ,          \        ,          4      \        P                  ! \        4      \        P                  ! \        4      ,          4      RJ g   Q h\        \        P                  ! \        \        ,           \        ,           4      \        P                  ! \        4      \        P                  ! \        4      ,          \        P                  ! \        4      ,          4       e   Q h\        \        P                  ! \        \        ,           \        ,           4      \        P                  ! \        4      \        P                  ! \        4      ,          \        P                  ! \        4      ,          4      RJ g   Q h\        \        P                  ! \        \        ,           \        ,           4      \        P                  ! \        4      \        P                  ! \        4      ,          4      RJ g   Q h\        \        P                  ! \        \        ,          \        ,          4      \        P                  ! \        4      \        P                  ! \        4      ,          \        P                  ! \        4      ,          4      RJ g   Q h\        \        P                  ! \        \        ,          \        ,          4      \        P                  ! \        4      \        P                  ! \        4      ,          \        P                  ! \        4      ,          4      RJ g   Q h\        \        P                  ! \        \        ,           \        ,           4      \        P                  ! \        4      \        P                  ! \        4      ,          \        P                  ! \        4      ,          4      RJ g   Q h\        \        P                  ! \        \        ,           \        ,           4      \        P                  ! \        4      \        P                  ! \        4      ,          \        P                  ! \        4      ,          4      RJ g   Q hR#    FTN)	r   r   
irrationalrationalr   r   r   r$   zr   r   r   test_rational_irrationalrF      s   !,,q/"e+++!**Q- D(((!,,r"#t+++!**R.!U***!,,q/"e+++!**Q- E)))!,,qs1u%q||Aa'H	

1(   !,,qs1u%q||AA'F	

1(   !,,r!tAv&

1

1(EF$NNN!,,q1uqy)1<<?Q\\!_+L	

1,   !,,q1uqy)1<<?QZZ]+J	

1,   !,,rAvz*AJJqMAJJqM,IJdRRR!,,qs1u%qzz!}qzz!}'D	

1(      !**QqSU#QZZ]QZZ]%B	

1&    !,,q1uqy)1::a=1::a=+H	

1,      !**QUQY'AA)F	

1*   r   c                     \        \        P                  ! ^4      4      RJ g   Q h\        \        P                  ! ^4      4      RJ g   Q h\        \        P                  ! \        \        ,          4      \        P                  ! \        4      \        P
                  ! \        4      ,          4      RJ g   Q h\        \        P                  ! \        \        ,          4      \        P                  ! \        4      \        P                  ! \        4      ,          4      RJ g   Q h\        \        P                  ! \        \        ,          4      \        P                  ! \        4      \        P                  ! \        4      ,          4      RJ g   Q h\        \        P                  ! \        \        ,          4      \        P
                  ! \        4      \        P
                  ! \        4      ,          4      RJ g   Q h\        \        P                  ! \        \        ,          4      \        P                  ! \        4      4      e   Q h\        \        P                  ! \        \        ,          4      \        P
                  ! \        4      \        P                  ! \        4      ,          4      e   Q h\        \        P                  ! \        \        ,          4      \        P
                  ! \        4      \        P
                  ! \        4      ,          4      RJ g   Q h\        \        P                  ! \        \        4      4      \        P                  ! \        4      4      RJ g   Q h\        \        P                  ! \        \        4      4      \        P
                  ! \        4      4      RJ g   Q h\        \        P                  ! \        4      \        P                  ! \        \        4      4      4      e   Q hR# )rB   TFN)r   r   evenr   r$   oddr7   absr   r   r   test_even_sataskrK      s   !&&)$$$!&&)%%%!&&1+qvvay155834<<<!&&1+qvvay199Q<78D@@@!&&1+qvvay166!945===!&&1+quuQx!%%(23u<<<!&&1+qvvay)111!&&1+quuQx!))A,67???!&&1+quuQx!%%(23u<<<!&&Q.!&&),444!&&Q.!%%(+u444!&&)QVVCF^,444r   c                     \        \        P                  ! ^4      4      RJ g   Q h\        \        P                  ! ^4      4      RJ g   Q h\        \        P                  ! \        \        ,          4      \        P
                  ! \        4      \        P                  ! \        4      ,          4      RJ g   Q h\        \        P                  ! \        \        ,          4      \        P
                  ! \        4      \        P                  ! \        4      ,          4      RJ g   Q h\        \        P                  ! \        \        ,          4      \        P
                  ! \        4      \        P
                  ! \        4      ,          4      RJ g   Q h\        \        P                  ! \        \        ,          4      \        P                  ! \        4      \        P                  ! \        4      ,          4      RJ g   Q h\        \        P                  ! \        \        ,          4      \        P
                  ! \        4      4      e   Q h\        \        P                  ! \        \        ,          4      \        P                  ! \        4      \        P                  ! \        4      ,          4      e   Q h\        \        P                  ! \        \        ,          4      \        P                  ! \        4      \        P                  ! \        4      ,          4      RJ g   Q h\        \        P                  ! \        \        4      4      \        P
                  ! \        4      4      RJ g   Q h\        \        P                  ! \        \        4      4      \        P                  ! \        4      4      RJ g   Q h\        \        P                  ! \        4      \        P                  ! \        \        4      4      4      e   Q hR# rA   )r   r   rI   r   r$   rH   r7   rJ   r   r   r   test_odd_sataskrM      s   !%%(u$$$!%%(t###!%%!*affQi!%%(23u<<<!%%!*affQi!))A,675@@@!%%!*affQi!&&)34===!%%!*aeeAhq12d:::!%%!*affQi(000!%%!*aeeAh156>>>!%%!*aeeAhq12d:::!%%A-+u444!%%A-q*d222!%%(AEE#a&M*222r   c                  \   \        \        P                  ! ^4      4      RJ g   Q h\        \        P                  ! \        P                  4      4      RJ g   Q h\        \        P                  ! \
        \        ,           4      \        P                  ! \
        4      \        P                  ! \        4      ,          4      RJ g   Q h\        \        P                  ! \
        \        ,           4      \        P                  ! \
        4      4      e   Q h\        \        P                  ! \
        \        ,           4      \        P                  ! \
        4      \        P                  ! \        4      ( ,          4      RJ g   Q h\        \        P                  ! \
        \        ,           \        ,           4      \        P                  ! \
        4      \        P                  ! \        4      ,          \        P                  ! \        4      ( ,          4      RJ g   Q h\        \        P                  ! \
        \        ,           \        ,           4      \        P                  ! \
        4      \        P                  ! \        4      ( ,          \        P                  ! \        4      ( ,          4       e   Q h\        \        P                  ! \
        \        ,           \        ,           4      \        P                  ! \
        4      \        P                  ! \        4      ( ,          4      e   Q h\        \        P                  ! \
        \        ,           4      \        P                  ! \
        4      \        P                  ! \        4      ,          4      RJ g   Q h\        \        P                  ! \
        \        ,          4      \        P                  ! \
        4      \        P                  ! \        4      ,          4      RJ g   Q h\        \        P                  ! \
        \        ,          4      \        P                  ! \
        4      4      e   Q h\        \        P                  ! \
        \        ,          4      \        P                  ! \
        4      \        P                  ! \        4      ( ,          4      e   Q h\        \        P                  ! \
        \        ,          4      \        P                  ! \
        4      \        P                  ! \        4      ( ,          4      RJ g   Q h\        \        P                  ! \
        \        ,          \        ,          4      \        P                  ! \
        4      \        P                  ! \        4      ,          \        P                  ! \        4      ( ,          4      RJ g   Q h\        \        P                  ! \
        \        ,          \        ,          4      \        P                  ! \
        4      \        P                  ! \        4      ( ,          \        P                  ! \        4      ( ,          4       e   Q h\        \        P                  ! \
        \        ,          \        ,          4      \        P                  ! \
        4      \        P                  ! \        4      ( ,          4      e   Q h\        \        P                  ! \
        \        ,          4      \        P                  ! \
        4      \        P                  ! \        4      ,          4      RJ g   Q hR# )r:   TFN)
r   r   r7   r	   Halfr   r$   rE   rC   rD   r   r   r   test_integerrP      s   !))A,4'''!))AFF#$---!))AE"AIIaL199Q<$?@DHHH!))AE"AIIaL1999!))AE"AIIaLAIIaL=$@AUJJJ!))AEAI&		!qyy|(C	
1)      !))AEAI&		!		!}(D	
1)   !))AEAI&		!		!}(DEMMM!))AE"AIIaL1<<?$BCuLLL!))AaC.!))A,1"=>$FFF!))AaC.!))A,/777!))AaC.!))A,!))A,">?GGG!))AaC.!))A,!**Q-"?@EIII!))AaCE"AIIaL199Q<$?	
A%  ! ! !!))AaCE"AIIaLAJJqM>$A	
A%      !))AaCE"AIIaLAJJqM>$ABJJJ!))AaC.!))A,a"@AUJJJr   c                  Z   \        \        P                  ! \        \        4      4      4      R J g   Q h\        \        P
                  ! \        \        4      4      \        P                  ! \        4      ( 4      R J g   Q h\        \        P                  ! \        4      \        P                  ! \        \        4      4      ( 4      RJ g   Q h\        \        P                  ! \        4      \        P                  ! \        \        4      4      4      R J g   Q h\        \        P                  ! \        4      \        P                  ! \        \        4      4      ( 4      e   Q h\        \        P                  ! \        \        4      4      \        P                  ! \        4      4      R J g   Q hR# r,   )r   r   r>   rJ   r   r    r"   r#   r   r   r   test_absrR      s    !--A'(D000!**SV$qvvayj1T999!&&)affSVn_-666!&&)QVVCF^,444!))A,A0888!&&Q.!&&),444r   c                  R   \        \        P                  ! ^\        ,          4      4      RJ g   Q h\        \        P                  ! \        \
        ,          4      \        P                  ! \        4      4      e   Q h\        \        P                  ! \        \
        ,          4      \        P                  ! \        4      \        P                  ! \
        4      ,          4      RJ g   Q h\        \        P                  ! \        4      \        P                  ! \        4      4      RJ g   Q h\        \        P                  ! ^4      4      RJ g   Q h\        \        P                  ! \        \
        ,          4      \        P                  ! \        4      \        P                  ! \
        4      ,          4      RJ g   Q h\        \        P                  ! \        \
        ,           4      \        P                  ! \        4      \        P                  ! \
        4      ,          4      RJ g   Q hR# )rB   TNF)r   r   	imaginaryr   r   r$   r   r   r   r   test_imaginaryrU      s/   !++ac"#t+++!++ac"AKKN3;;;!++ac"AKKNQVVAY$>?4GGG!++a.!&&),555!++a.!U***!++ac"AFF1Iq	$9:eCCC!++a!e$affQi!&&)&;<EEEr   c                     \        \        P                  ! \        \        ,          4      \        P                  ! \        4      \        P                  ! \        4      ,          4      R J g   Q h\        \        P                  ! \        \        ,           4      \        P                  ! \        4      \        P                  ! \        4      ,          4      R J g   Q h\        \        P                  ! \        \        ,          \
        ,          4      \        P                  ! \        4      \        P                  ! \        4      ,          \        P                  ! \
        4      ,          4      R J g   Q h\        \        P                  ! \        \        ,          \
        ,          4      \        P                  ! \        4      \        P                  ! \        4      ,          4      e   Q h\        \        P                  ! \        \        ,          \
        ,          4      \        P                  ! \        4      \        P                  ! \        4      ,          \        P                  ! \
        4      ,          4      RJ g   Q h\        \        P                  ! \        \        ,           \
        ,           4      \        P                  ! \        4      \        P                  ! \        4      ,          \        P                  ! \
        4      ,          4      R J g   Q h\        \        P                  ! \        \        ,           \
        ,           4      \        P                  ! \        4      \        P                  ! \        4      ,          4      e   Q hR# )TNF)r   r   r   r   r$   rE   rT   r   r   r   	test_realrW     s   !&&1+qvvay166!945===!&&Q-QVVAY!674???!&&1Q-QVVAY!6!BCtKKK!&&1Q-QVVAY!67???!&&1Q-QVVAY!6Q!GHEQQQ!&&Q#QVVAY%:QVVAY%FG4OOO!&&Q#QVVAY%:;CCCr   c                  r   \        \        P                  ! \        4      ( \        P                  ! \        4      4      R J g   Q h\        \        P                  ! \        4      ( \        P                  ! \        4      4      R J g   Q h\        \        P                  ! \        \
        ,           4      \        P                  ! \        4      \        P                  ! \
        4      ,          4      R J g   Q h\        \        P                  ! \        \
        ,           4      \        P                  ! \        4      \        P                  ! \
        4      ,          4      R J g   Q h\        \        P                  ! \        \
        ,           4      \        P                  ! \        4      \        P                  ! \
        4      ,          4      RJ g   Q h\        \        P                  ! \        \
        ,           4      \        P                  ! \        4      \        P                  ! \
        4      ,          4      RJ g   Q hR# r,   )r   r   r    r   r<   r$   r   r   r   test_pos_negrY     s,   1::a=.!**Q-0D8881::a=.!**Q-0D888!**QU#QZZ]QZZ]%BCtKKK!**QU#QZZ]QZZ]%BCtKKK!**QU#QZZ]QZZ]%BCuLLL!**QU#QZZ]QZZ]%BCuLLLr   c                  |   \        \        P                  ! \        ^,          4      \        P                  ! \        4      4      RJ g   Q h\        \        P
                  ! \        ^,          4      \        P                  ! \        4      4      RJ g   Q h\        \        P                  ! \        ^,          4      \        P                  ! \        4      4      RJ g   Q h\        \        P                  ! \        ^,          4      \        P                  ! \        4      4      RJ g   Q h\        \        P                  ! \        ^,          4      \        P                  ! \        4      4      RJ g   Q h\        \        P                  ! \        ^,          4      \        P                  ! \        4      4      RJ g   Q h\        \        P
                  ! \        ^,          4      \        P                  ! \        4      4      RJ g   Q h\        \        P                  ! \        ^,          4      \        P                  ! \        4      4      RJ g   Q h\        \        P                  ! \        ^,          4      \        P                  ! \        4      4      RJ g   Q h\        \        P                  ! \        ^,          4      \        P                  ! \        4      4      RJ g   Q h\        \        P                  ! \        ^,          4      \        P                  ! \        4      4      RJ g   Q h\        \        P
                  ! \        ^,          4      \        P                  ! \        4      4      e   Q h\        \        P                  ! \        ^,          4      \        P                  ! \        4      4      e   Q h\        \        P                  ! \        ^,          4      \        P                  ! \        4      4      RJ g   Q h\        \        P                  ! \        ^,          4      \        P                  ! \        4      4      RJ g   Q h\        \        P                  ! \        ^,          4      \        P
                  ! \        4      4      RJ g   Q h\        \        P
                  ! \        ^,          4      \        P
                  ! \        4      4      e   Q h\        \        P                  ! \        ^,          4      \        P
                  ! \        4      4      e   Q h\        \        P                  ! \        ^,          4      \        P
                  ! \        4      4      RJ g   Q h\        \        P                  ! \        ^,          4      \        P
                  ! \        4      4      RJ g   Q h\        \        P                  ! \        ^,          4      \        P                  ! \        4      4      RJ g   Q h\        \        P
                  ! \        ^,          4      \        P                  ! \        4      4      RJ g   Q h\        \        P                  ! \        ^,          4      \        P                  ! \        4      4      RJ g   Q h\        \        P                  ! \        ^,          4      \        P                  ! \        4      4      RJ g   Q h\        \        P                  ! \        ^,          4      \        P                  ! \        4      4      RJ g   Q h\        \        P                  ! \        ^,          4      \        P                  ! \        4      4      RJ g   Q h\        \        P
                  ! \        ^,          4      \        P                  ! \        4      4      RJ g   Q h\        \        P                  ! \        ^,          4      \        P                  ! \        4      4      RJ g   Q h\        \        P                  ! \        ^,          4      \        P                  ! \        4      4      RJ g   Q h\        \        P                  ! \        ^,          4      \        P                  ! \        4      4      RJ g   Q h\        \        P                  ! \        ^,          4      \        P                  ! \        4      4      RJ g   Q h\        \        P
                  ! \        ^,          4      \        P                  ! \        4      4      e   Q h\        \        P                  ! \        ^,          4      \        P                  ! \        4      4      e   Q h\        \        P                  ! \        ^,          4      \        P                  ! \        4      4      RJ g   Q h\        \        P                  ! \        ^,          4      \        P                  ! \        4      4      RJ g   Q h\        \        P                  ! \        ^,          4      \        P
                  ! \        4      4      e   Q h\        \        P
                  ! \        ^,          4      \        P
                  ! \        4      4      RJ g   Q h\        \        P                  ! \        ^,          4      \        P
                  ! \        4      4      RJ g   Q h\        \        P                  ! \        ^,          4      \        P
                  ! \        4      4      e   Q h\        \        P                  ! \        ^,          4      \        P
                  ! \        4      4      RJ g   Q h\        \        P                  ! \        R,          4      \        P
                  ! \        4      4      e   Q h\        \        P
                  ! \        R,          4      \        P
                  ! \        4      4      e   Q h\        \        P                  ! \        R,          4      \        P
                  ! \        4      4      e   Q h\        \        P                  ! \        R,          4      \        P
                  ! \        4      4      e   Q h\        \        P                  ! \        R,          4      \        P
                  ! \        4      4      e   Q hR# )rB   TFN)r   r   r>   r   r    r=   r<   r   r   r   r   test_pow_pos_negr\     s\   !--1%qzz!}5===!--1%qzz!}5>>>!**QT"AJJqM2d:::!**QT"AJJqM2e;;;!&&A,

1.$666!--1%qzz!}5===!--1%qzz!}5>>>!**QT"AJJqM2d:::!**QT"AJJqM2e;;;!&&A,

1.$666!--1%q}}Q'78D@@@!--1%q}}Q'78@@@!**QT"AMM!$45===!**QT"AMM!$45>>>!&&A,a 01T999!--1%q}}Q'78D@@@!--1%q}}Q'78@@@!**QT"AMM!$45===!**QT"AMM!$45>>>!&&A,a 01T999!--1%qzz!}5===!--1%qzz!}5>>>!**QT"AJJqM2d:::!**QT"AJJqM2e;;;!&&A,

1.$666!--1%qzz!}5>>>!--1%qzz!}5===!**QT"AJJqM2e;;;!**QT"AJJqM2d:::!&&A,

1.$666!--1%q}}Q'78D@@@!--1%q}}Q'78@@@!**QT"AMM!$45===!**QT"AMM!$45>>>!&&A,a 01T999!--1%q}}Q'78@@@!--1%q}}Q'78D@@@!**QT"AMM!$45>>>!**QT"AMM!$45===!&&A,a 01T999 !--2&a(89AAA!--2&a(89AAA!**QU#Q]]1%56>>>!**QU#Q]]1%56>>>!&&B-q!12:::r   c                  8   \        \        P                  ! \        4      \        P                  ! \        4      4      R J g   Q h\        \        P                  ! \        4      \        P                  ! \        4      4      R J g   Q h\        \        P                  ! \        4      \        P                  ! \        4      ( 4      e   Q h\        \        P                  ! \        4      \        P                  ! \        4      ( 4      e   Q h\        \        P                  ! \        4      \        P
                  ! \        4      \        P                  ! \        4      ,          \        P                  ! \        4      ( ,          4      e   Q h\        \        P                  ! ^4      4      RJ g   Q h\        \        P                  ! ^4      4      R J g   Q h\        \        P                  ! ^4      4      R J g   Q h\        \        P                  ! ^4      4      R J g   Q hR# )FNT)r   r   r6   r   	compositer7   r    r   r   r   test_prime_compositer_   P  sA   !''!*akk!n-666!++a.!''!*-666!++a.1771:+.666!''!*q{{1~o.666!''!*aiilQZZ]:akk!n_LMUUU!''!*%%%!''!*&&&!''!*&&&!++a.!U***r   c                     \         P                  ! \        P                  ! \	        \
        \        ,          4      4      \        P                  ! \
        \        ,          4      ,          4      p \         P                  ! \        P                  ! \
        4      4      p\         P                  ! \        P                  ! \        4      4      p\        V 4      \	        \
        \        ,          4      \
        \        ,          08X  g   Q h\        W4      \	        \
        \        ,          4      \
        \        ,          \
        08X  g   Q h\        WV4      \	        \
        \        ,          4      \
        \        ,          \
        \        08X  g   Q h\         P                  ! \        \
        \        4      4      p \         P                  ! \        \        \        4      4      p\        W4      \
        \        \        08X  g   Q hR # r   )r   	from_propr   r"   r   r   r$   r   r   r   rE   )propsassumpcontexts      r   test_extract_predargsre   ]  s   MM!&&QqS*QVVAaC[89E]]166!9%FmmAFF1I&GE"s1Q3x1o555E*s1Q3x1a.@@@@E73AaC!A#q!7LLLLMM"Q(#E]]2a8$FE*q!Qi777r   c                     \        \        \        ,          4      0p \        V 4      w  rV \        \        ,          08X  g   Q hVP                  \        \        \        P                  ! \        \        \        ,          4      4      R 4      \        \        P                  ! \        \        ,          4      R4      04      \        \        \        P                  ! \        \        \        ,          4      4      R 4      \        \        P                  ! \        \        ,          4      R4      04      \        \        \        P                  ! \        \        \        ,          4      4      R 4      \        \        P                  ! \        \        ,          4      R4      04      \        \        \        P                  ! \        \        \        ,          4      4      R4      \        \        P                  ! \        \        ,          4      R 4      04      \        \        \        P                  ! \        \        \        ,          4      4      R 4      \        \        P                  ! \        \        \        ,          4      4      R 4      \        \        P                  ! \        \        ,          4      R4      04      \        \        \        P                  ! \        \        \        ,          4      4      R 4      \        \        P                  ! \        \        ,          4      R4      \        \        P                  ! \        \        \        ,          4      4      R 4      04      \        \        \        P                  ! \        \        \        ,          4      4      R 4      \        \        P                  ! \        \        \        ,          4      4      R 4      04      08X  g   Q hR# r)   )r   r   r$   r   clauses	frozensetr   r   rI   r"   rH   r    )exprsfactss     r   test_get_relevant_clsfactsrk   j  s   1XJE(/LEQqSE>>==	GAEE#ac(OU3WQUU1Q3Z5NO	P7166#ac(+U3WQVVAaC[$5OPQ7166#ac(+U3WQVVAaC[$5OPQ7166#ac(+T2GAFF1Q3K4OPQ7166#ac(+U3AEE#ac(OU3AEE!A#J-/ 	0 	7166#ac(+U3AFF1Q3K.AEE#ac(OU35 	6 	71::c!A#h/7AFF3qs8,e46 	7	88 8 8r   N)4sympy.assumptions.askr   sympy.assumptions.assumer   sympy.core.numbersr   r   sympy.core.relationalr   r   sympy.core.singletonr	   sympy.core.symbolr
   $sympy.functions.elementary.complexesr   sympy.logic.boolalgr   "sympy.matrices.expressions.matexprr   sympy.assumptions.cnfr   r   sympy.assumptions.sataskr   r   r   sympy.testing.pytestr   r   r   r$   rE   r%   r'   r*   r-   r2   r8   r?   rF   rK   rM   rP   rR   rU   rW   rY   r\   r_   re   rk   r   r   r   <module>rx      s    # - & * " % 4 ' ; .  / '
1a*23*
Q3 P PB#-L>5"3"K85FDM6;x
+
88r   