+
    i                         ^ 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Ht ]! RR	R
7      w  tttR tR tR tR tR tR t]R 4       tR t]R 4       tR# )    )
lra_satask)UnhandledInput)Qask)symbolsSymbol)MatrixSymbol)I)raisesXFAILzx y zTrealc                    a a \        R RR7      o\        \        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      4      RJ g   Q h\        \        P                  ! \        \        4      4      RJ g   Q h\        \        P                  ! \        ^ 4      \        P                  ! \        ^4      4      RJ g   Q h\        \        P                  ! \        ^ 4      R4      e   Q h\        \        R 4      '       g   Q h\        \        V3R l4       \        R^^4      o \        \        V 3R l4       R# )	imT)	imaginaryFNc                  L    \        \        P                  ! \        ^ 4      R4      # )r   F)r   r   gtx     f/var/www/html/photoedit/myenv/lib/python3.14/site-packages/sympy/assumptions/tests/test_rel_queries.py<lambda>!test_lra_satask.<locals>.<lambda>   s    jaU&Cr   c                     < \        \        P                  ! S \        ,          ^ 4      \        P                  ! S \        ,          ^ 4      4      # r   )r   r   r   r
   )r   s   r   r   r   !   s(    :add261oqttBFA#Or   Xc                  |   < \        \        P                  ! S ^4      \        P                  ! S ^4      ,          4      #    r   r   ltr   r   s   r   r   r   %   #    :add1aj1441:.E#Fr   )r   r   r   eqr   ner   r   
ValueErrorr   r	   )r   r   s   @@r   test_lra_sataskr'      s   		%B add1aj1441:+.%777add1aj1441:+.$666qttAqzk1441:.$666qttAqzk1441:.%777add1aj!$$q!*-666 add1aj!U***add1aj!T)))add1aj!$$q!*-555 add1aj$'///*CDDDD >OP 	S!QA
>FGr   c                  V  a  \        R 4      o \        \        V 3R l4       \        R RRR7      o \        \        V 3R l4       \        R RRR7      o \        \        V 3R l4       \        R RRR7      o \        \        V 3R	 l4       \        R RRR
7      o \        \        V 3R l4       \        R RRR7      o \        \        V 3R l4       \        R RRR7      o \        \        V 3R l4       \        R RRR7      o \        \        V 3R l4       \        R RRR7      o \        \        P
                  ! S ^ 4      4      RJ g   Q h\        \        P                  ! S ^ 4      4      RJ g   Q h\        R RRR7      o \        \        P                  ! S ^ 4      4      RJ g   Q h\        \        P                  ! S ^ 4      4      RJ g   Q h\        R RRR7      o \        \        P                  ! S ^ 4      4      RJ g   Q h\        \        P                  ! S ^ 4      4      RJ g   Q h\        R RRR7      o \        \        P                  ! S ^ 4      4      RJ g   Q h\        \        P                  ! S ^4      4      e   Q h\        R RRR7      o \        \        P
                  ! S ^ 4      4      RJ g   Q h\        \        P                  ! S ^ 4      4      RJ g   Q h\        R RRR7      o \        \        P                  ! S ^ 4      4      RJ g   Q h\        \        P                  ! S ^ 4      4      RJ g   Q hR# )wc                  |   < \        \        P                  ! S ^4      \        P                  ! S ^4      ,          4      # r   r    r)   s   r   r   &test_old_assumptions.<locals>.<lambda>+   r#   r   FT)rationalr   c                  |   < \        \        P                  ! S ^4      \        P                  ! S ^4      ,          4      # r   r    r+   s   r   r   r,   -   r#   r   )oddr   c                  |   < \        \        P                  ! S ^4      \        P                  ! S ^4      ,          4      # r   r    r+   s   r   r   r,   /   r#   r   )evenr   c                  |   < \        \        P                  ! S ^4      \        P                  ! S ^4      ,          4      # r   r    r+   s   r   r   r,   1   r#   r   )primer   c                  |   < \        \        P                  ! S ^4      \        P                  ! S ^4      ,          4      # r   r    r+   s   r   r   r,   3   r#   r   )	compositer   c                  |   < \        \        P                  ! S ^4      \        P                  ! S ^4      ,          4      # r   r    r+   s   r   r   r,   5   r#   r   )integerr   c                  |   < \        \        P                  ! S ^4      \        P                  ! S ^4      ,          4      # r   r    r+   s   r   r   r,   7   r#   r   c                  |   < \        \        P                  ! S ^4      \        P                  ! S ^4      ,          4      # r   r    r+   s   r   r   r,   9   r#   r   )positiver   )negativer   )zeror   )nonzeror   N)nonpositiver   )nonnegativer   )r   r   r   r   r   ler   r!   ger$   r%   r+   s   @r   test_old_assumptionsrB   (   sv   A
>FGe$/A
>FGD)A
>FG$T*A
>FG4d+A
>FGt$/A
>FGT-A
>FGU.A
>FG 	d.Aadd1aj!U***add1aj!T)))d.Aadd1aj!T)))add1aj!U***$T*Aadd1aj!T)))add1aj!U***T-Aadd1aj!T)))add1aj!)))D1Aadd1aj!T)))add1aj!U***D1Aadd1aj!T)))add1aj!U***r   c                  $   \        \        P                  ! \        ^4      \        P                  ! \        ^4      ,          4      RJ g   Q h\        \        P
                  ! \        \        ,
          4      \        \        8  \        \        8  ,          4      RJ g   Q h\        \        \        ,           ^8  \        ^ 8  \        ^ 8  ,          4      RJ g   Q h\        \        \        8  \        \        8  \        \        8  ,          4      RJ g   Q hR# )r   FTN)r   r   r!   r   r   r:   zyr   r   r   test_rel_queriesrF   P   s    qttAqzADDAJ&'5000qzz!a% 1q5QU"34<<<q1uqy1q5QT*+u444q1uq1uQ'(D000r   c                      \        R ^^4      p \        \        P                  ! V ^4      \        P                  ! V ^4      ,          4      e   Q hR# )r   N)r	   r   r   r!   r   r"   s    r   test_unhandled_queriesrH   W   s:    S!QAqttAqzADDAJ&'///r   c                     \        \        P                  ! \        4      \        ^8  4      RJ g   Q h\        \        P                  ! \        4      4      RJ g   Q h\        \        P
                  ! \        4      4      RJ g   Q h\        \        R 4       \        \        R 4       \        \        R 4       \        \        R 4       \        \        R 4       R# )	r   TFc                  t    \        \        ^ 8  \        ^8  \        P                  ! \        4      ,          4      # r   )r   r   r   r3   r   r   r   r   test_all_pred.<locals>.<lambda>c   s     :q1uA7K#Lr   c                  t    \        \        ^ 8  \        ^8  \        P                  ! \        4      ,          4      # r   )r   r   r   r5   r   r   r   r   rK   d   s     :q1uAQ7O#Pr   c                  t    \        \        ^ 8  \        ^8  \        P                  ! \        4      ,          4      # r   )r   r   r   r/   r   r   r   r   rK   e   s     :q1uAq7I#Jr   c                  t    \        \        ^ 8  \        ^8  \        P                  ! \        4      ,          4      # r   )r   r   r   r1   r   r   r   r   rK   f   s     :q1uA7J#Kr   c                  t    \        \        ^ 8  \        ^8  \        P                  ! \        4      ,          4      # r   )r   r   r   r7   r   r   r   r   rK   g   s     :q1uA17M#Nr   N)r   r   extended_positiver   positive_infinitenegative_infiniter   r   r   r   r   test_all_predrS   \   s    a))!,q1u6$>>>a))!,-666a))!,-666 >LM
>PQ
>JK
>KL
>NOr   c                  l   \        R RR7      w  rp\        W8*  W8*  W8*  ,          4      RJ g   Q h\        W8  W8*  W8  ,          4      RJ g   Q h\        W8  W8  W8*  ,          4      RJ g   Q h\        W,           W,           8*  W8*  4      RJ g   Q h\        W,
          W,
          8*  W8*  4      RJ g   Q hR# za b cTr   N)r   r   abcs      r   test_number_line_propertiesrZ   j   s     gD)GA! qv16*+t333quqv!%()T111ququ()T111 qu~qv&$...qu~qv&$...r   c                     \        R RR7      w  rp\        W,          W,          8*  W8*  V^ 8  ,          \        P                  ! V4      ( ,          4      RJ g   Q h\        W,          W,          8*  W8*  V^ 8  ,          \        P                  ! V4      ( ,          4      RJ g   Q h\        W,          W,          8  W8*  V^ 8  ,          \        P                  ! V4      ( ,          4      RJ g   Q h\        W,          W,          8  W8*  V^ 8  ,          \        P                  ! V4      ( ,          4      RJ g   Q h\        V ) V) 8  W8*  4      RJ g   Q h\        ^V ,          ^V,          8  W8*  \        P                  ! \
        4      ,          \        P                  ! V4      ,          4      RJ g   Q h\        ^V ,          ^V,          8  W8*  \        P                  ! \
        4      ,          \        P                  ! V4      ,          4      RJ g   Q hR# rU   )r   r   r   r<   r:   r   r;   rV   s      r   #test_failing_number_line_propertiesr\   ~   s   
 gD)GA! qsaczAFq1u-!&&);<DDDqsaczAFq1u-!&&);<DDDqsaczAFq1u-!&&);<DDDqsaczAFq1u-!&&);<DDD raRx D(((
 qsaczAFajjm3ajjmCDLLLqsaczAFajjm3ajjmCDLLLr   c                     \        \        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R# TN)r   r   r$   r   rE   rD   r   r   r   test_equalityr_      s    qttAqz?d"""qttAqz1441:&$...qttAqzADDAJ;a34<<< qttAay!$$q)add1Qi/0D888r   c                  j   \        \        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   r3   r   r$   rE   r   r   r   r   r   test_equality_failingra      s     qwwqz1441:
23t;;;qvvay!$$q!*qvvay01T999q{{1~qttAqzAKKN:;tCCCr   N)sympy.assumptions.lra_sataskr   !sympy.logic.algorithms.lra_theoryr   sympy.assumptions.askr   r   
sympy.corer   r   "sympy.matrices.expressions.matexprr	   sympy.core.numbersr
   sympy.testing.pytestr   r   r   rE   rD   r'   rB   rF   rH   rS   rZ   r\   r_   ra   r   r   r   <module>ri      s~    3 < ( & ;   .
'
%1aH8%+P10
P/( M M29 	D 	Dr   