
    \h                         S SK Jr  S SKJr  S SKJrJr  S SKJrJ	r	  S SK
Jr  S SKJr  S SKJrJr  \" SS	S
9u  rrrS rS rS rS rS rS r\S 5       rS r\S 5       rg)    )
lra_satask)UnhandledInput)Qask)symbolsSymbol)MatrixSymbol)I)raisesXFAILzx y zTrealc                    ^ ^ [        SSS9m[        [        R                  " [        S5      [        R
                  " [        S5      ) 5      SL d   e[        [        R                  " [        S5      [        R
                  " [        S5      ) 5      SL d   e[        [        R
                  " [        S5      ) [        R                  " [        S5      5      SL d   e[        [        R                  " [        S5      ) [        R                  " [        S5      5      SL d   e[        [        R
                  " [        S5      [        R                  " [        S5      5      SL d   e[        [        R
                  " [        [        5      5      SL d   e[        [        R                  " [        [        5      5      SL d   e[        [        R                  " [        S5      [        R                  " [        S5      5      SL d   e[        [        R                  " [        S5      S5      b   e[        [        S 5      (       d   e[        [        U4S j5        [        S	S
S
5      m [        [        U 4S j5        g )NimT)	imaginary   r   Fc                  L    [        [        R                  " [        S5      S5      $ )Nr   F)r   r   gtx     `/var/www/auris/envauris/lib/python3.13/site-packages/sympy/assumptions/tests/test_rel_queries.py<lambda>!test_lra_satask.<locals>.<lambda>   s    jaU&Cr   c                     > [        [        R                  " T [        -  S5      [        R                  " T [        -  S5      5      $ )Nr   )r   r   r   r
   )r   s   r   r   r   !   s(    :add261oqttBFA#Or   X   c                  t   > [        [        R                  " T S5      [        R                  " T S5      -  5      $ Nr      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                    ^  [        S5      m [        [        U 4S j5        [        SSSS9m [        [        U 4S j5        [        SSSS9m [        [        U 4S j5        [        SSSS	9m [        [        U 4S
 j5        [        SSSS9m [        [        U 4S j5        [        SSSS9m [        [        U 4S j5        [        SSSS9m [        [        U 4S j5        [        SSSS9m [        [        U 4S j5        [        SSSS9m [        [        R
                  " T S5      5      SL d   e[        [        R                  " T S5      5      SL d   e[        SSSS9m [        [        R                  " T S5      5      SL d   e[        [        R                  " T S5      5      SL d   e[        SSSS9m [        [        R                  " T S5      5      SL d   e[        [        R                  " T S5      5      SL d   e[        SSSS9m [        [        R                  " T S5      5      SL d   e[        [        R                  " T S5      5      b   e[        SSSS9m [        [        R
                  " T S5      5      SL d   e[        [        R                  " T S5      5      SL d   e[        SSSS9m [        [        R                  " T S5      5      SL d   e[        [        R                  " T S5      5      SL d   eg )Nwc                  t   > [        [        R                  " T S5      [        R                  " T S5      -  5      $ r   r!   r*   s   r   r   &test_old_assumptions.<locals>.<lambda>+   r$   r   FT)rationalr   c                  t   > [        [        R                  " T S5      [        R                  " T S5      -  5      $ r   r!   r,   s   r   r   r-   -   r$   r   )oddr   c                  t   > [        [        R                  " T S5      [        R                  " T S5      -  5      $ r   r!   r,   s   r   r   r-   /   r$   r   )evenr   c                  t   > [        [        R                  " T S5      [        R                  " T S5      -  5      $ r   r!   r,   s   r   r   r-   1   r$   r   )primer   c                  t   > [        [        R                  " T S5      [        R                  " T S5      -  5      $ r   r!   r,   s   r   r   r-   3   r$   r   )	compositer   c                  t   > [        [        R                  " T S5      [        R                  " T S5      -  5      $ r   r!   r,   s   r   r   r-   5   r$   r   )integerr   c                  t   > [        [        R                  " T S5      [        R                  " T S5      -  5      $ r   r!   r,   s   r   r   r-   7   r$   r   c                  t   > [        [        R                  " T S5      [        R                  " T S5      -  5      $ r   r!   r,   s   r   r   r-   9   r$   r   )positiver   r   )negativer   )zeror   )nonzeror   r   )nonpositiver   )nonnegativer   )r   r   r   r   r   ler   r"   ger%   r&   r,   s   @r   test_old_assumptionsrC   (   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                     [        [        R                  " [        S5      [        R                  " [        S5      -  5      SL d   e[        [        R
                  " [        [        -
  5      [        [        :  [        [        :  -  5      SL d   e[        [        [        -   S:  [        S:  [        S:  -  5      SL d   e[        [        [        :  [        [        :  [        [        :  -  5      SL d   eg )Nr   r    FTr   )r   r   r"   r   r   r;   zyr   r   r   test_rel_queriesrG   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                      [        SSS5      n [        [        R                  " U S5      [        R                  " U S5      -  5      b   eg )Nr   r   r    )r	   r   r   r"   r   r#   s    r   test_unhandled_queriesrI   W   s:    S!QAqttAqzADDAJ&'///r   c                     [        [        R                  " [        5      [        S:  5      SL d   e[        [        R                  " [        5      5      SL d   e[        [        R
                  " [        5      5      SL d   e[        [        S 5        [        [        S 5        [        [        S 5        [        [        S 5        [        [        S 5        g )	Nr   TFc                  l    [        [        S:  [        S:  [        R                  " [        5      -  5      $ Nr   r   )r   r   r   r4   r   r   r   r   test_all_pred.<locals>.<lambda>c   s     :q1uA7K#Lr   c                  l    [        [        S:  [        S:  [        R                  " [        5      -  5      $ rL   )r   r   r   r6   r   r   r   r   rM   d   s     :q1uAQ7O#Pr   c                  l    [        [        S:  [        S:  [        R                  " [        5      -  5      $ rL   )r   r   r   r0   r   r   r   r   rM   e   s     :q1uAq7I#Jr   c                  l    [        [        S:  [        S:  [        R                  " [        5      -  5      $ rL   )r   r   r   r2   r   r   r   r   rM   f   s     :q1uA7J#Kr   c                  l    [        [        S:  [        S:  [        R                  " [        5      -  5      $ rL   )r   r   r   r8   r   r   r   r   rM   g   s     :q1uA17M#Nr   )r   r   extended_positiver   positive_infinitenegative_infiniter   r   r   r   r   test_all_predrU   \   s    a))!,q1u6$>>>a))!,-666a))!,-666 >LM
>PQ
>JK
>KL
>NOr   c                  "   [        SSS9u  pn[        X:*  X:*  X:*  -  5      SL d   e[        X:  X:*  X:  -  5      SL d   e[        X:  X:  X:*  -  5      SL d   e[        X-   X-   :*  X:*  5      SL d   e[        X-
  X-
  :*  X:*  5      SL d   eg )Na b cTr   )r   r   abcs      r   test_number_line_propertiesr\   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                  F   [        SSS9u  pn[        X-  X-  :*  X:*  US:  -  [        R                  " U5      ) -  5      SL d   e[        X-  X-  :*  X:*  US:  -  [        R                  " U5      ) -  5      SL d   e[        X-  X-  :  X:*  US:  -  [        R                  " U5      ) -  5      SL d   e[        X-  X-  :  X:*  US:  -  [        R                  " U5      ) -  5      SL d   e[        U * U* :  X:*  5      SL d   e[        SU -  SU-  :  X:*  [        R                  " [
        5      -  [        R                  " U5      -  5      SL d   e[        SU -  SU-  :  X:*  [        R                  " [
        5      -  [        R                  " U5      -  5      SL d   eg )NrW   Tr   r   r   )r   r   r   r=   r;   r   r<   rX   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                     [        [        R                  " [        [        5      5      SL d   e[        [        R                  " [        [        5      [        R                  " [        [        5      5      SL d   e[        [        R                  " [        [        5      [        R                  " [
        [
        5      ) [        R                  " [        [        5      -  5      SL d   e[        [        R                  " [        [
        5      [        R                  " [        [        5      [        R                  " [        [
        5      -  5      SL d   eg NT)r   r   r%   r   rF   rE   r   r   r   test_equalityra      s    qttAqz?d"""qttAqz1441:&$...qttAqzADDAJ;a34<<< qttAay!$$q)add1Qi/0D888r   c                  J   [        [        R                  " [        5      [        R                  " [        [
        5      [        R                  " [
        5      -  5      SL d   e[        [        R                  " [        5      [        R                  " [        [
        5      [        R                  " [
        5      -  5      SL d   e[        [        R                  " [        5      [        R                  " [        [
        5      [        R                  " [
        5      -  5      SL d   eg r`   )r   r   r4   r   r%   rF   r   r   r   r   r   test_equality_failingrc      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   rF   rE   r(   rC   rG   rI   rU   r\   r^   ra   rc   r   r   r   <module>rk      s~    3 < ( & ;   .
'
%1aH8%+P10
P/( M M29 	D 	Dr   