
    biF*                         d Z ddlZddlZddlZddlmZ ddlm	Z	m
Z
mZmZmZmZ ddlmZ ddlmZmZ g dZd Zd	 Zdd
Z G d d      Z G d d      Z G d d      Z G d d      Zy)a0  
Copyright 2025, the CVXPY authors

Licensed under the Apache License, Version 2.0 (the "License");
you may not use this file except in compliance with the License.
You may obtain a copy of the License at

    http://www.apache.org/licenses/LICENSE-2.0

Unless required by applicable law or agreed to in writing, software
distributed under the License is distributed on an "AS IS" BASIS,
WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
See the License for the specific language governing permissions and
limitations under the License.
    N)SOC)	ChainTreeLeafTree
NonNegTreeSOCDim3	SplitTree_decompose_soc_single)Solution)socp_1socp_2)               	      c           
      H   t               }|j                  |       \  }}|j                  D ]7  }t        |t              s|j                         D ]  }|dk(  r	J d|         9 |j                  t        j                         t        |j                  |j                  |j                         D ci c]  }|j                  |j                   c}|j                  D ci c]  }|j                  |j                   c}i       }|j                  ||      |fS c c}w c c}w )z=Apply SOCDim3 reduction, solve, and return inverted solution.r   zExpected dim 3, got solver)r   applyconstraints
isinstancer   
cone_sizessolvecpCLARABELr
   statusvalue	variablesid
dual_valueinvert)prob	reductionnew_probinv_datacdimvsols           T/home/cdr/jupyterlab/.venv/lib/python3.12/site-packages/cvxpy/tests/test_soc_dim3.py_solve_with_reductionr-   *   s    	I".Hh !! >a||~ >ax=#7u!==x>>
 NN"++N&
 ( 2 2 451qww5%-%9%9:q||	:
	C C*H44	 	6:s   2D Dc                 H   | yt        | t              rmt        |       dk(  r_t        j                  t        j
                  | d         j                         t        j
                  | d         j                         g      S t        j
                  |       j                         S )z0Flatten a dual value to 1D array for comparison.Nr   r   r   )r   listlennpconcatenate
atleast_1dflatten)r"   s    r,   _flatten_dualr5   @   s    *d#J1(<~~MM*Q-(002MM*Q-(002
  	 ==$,,..    c                    t        j                  |j                  | j                  z
        |k  s!J d|j                   d| j                          | j                         D ]  }|j                  }|j                  j                  |j                        }|7|J d|j                                 t        j                  |||      rjJ d|j                                  | j                  D ]  }|j                  }|j                  j                  |j                        }	|7|	J d|j                          t        |      }
t        |	      }t        j                  |
||      r|J d|j                           y)	zICheck that inverted solution matches direct solve for all vars and duals.zObjective mismatch: z vs NzMissing primal for )atolzPrimal mismatch for zMissing dual for constraint zDual mismatch for constraint )r1   absr   r    primal_varsgetr!   nameallcloser   r"   	dual_varsr5   )r$   inv_solr&   r8   r*   
direct_valinverted_valr(   direct_dualinverted_dualdirect_flatinverted_flats               r,   _check_solution_matchesrF   M   sq    66(..4::-.5 
x~~.d4::,?5
 ^^ WW
**..qtt4!+M/B1668*-MM+;;z<dC &qvvxj1C  	ll))--add3" ,S0LQTTF.SS,'4K)-8M;;{ME /v6E	r6   c                       e Zd ZdZej
                  j                  de      d        Zej
                  j                  de      d        Z	y)TestSOCDim3Propertiesz*Parameterized tests for SOCDim3 reduction.x_sizec                     t        j                  d      }t        j                  |      }g g }}t        ||||       |D ]4  }|j                         dgk(  rJ d|dz    d|j                                  y)z)All decomposed SOC cones are dimension 3.Tnonnegr   zdim=r   z: got N)r   Variabler	   r   )selfrI   txconesnonneg_constrscones          r,   +test_decomposition_produces_only_dim3_coneszATestSOCDim3Properties.test_decomposition_produces_only_dim3_conesr   s}     KKt$KK "B~aE>: 	XD??$+WtF1H:VDOODUCV-WW+	Xr6   c                    t        j                  |      }t        j                  d      }t        ||      }t        j                  d|dz   t
              }t        j                  t        j                  |      |||k(  g      }|j                  t         j                         t        |      \  }}t        |||       y)z>Decomposed problem gives same primal and dual as direct solve.TrK   r   dtyper   N)r   rM   r   r1   arangefloatProblemMinimizer   r   r-   rF   )	rN   rI   rP   rO   socx_valr$   r?   r&   s	            r,   test_solving_primal_and_dualz2TestSOCDim3Properties.test_solving_primal_and_dual~   s     KKKKt$!Qi		!VaZu5zz"++a.3U
*;< 	

"++
& 2$7gx8r6   N)
__name__
__module____qualname____doc__pytestmarkparametrize	TEST_DIMSrT   r^    r6   r,   rH   rH   o   sO    4[[Xy1	X 2	X [[Xy19 29r6   rH   c                   (    e Zd ZdZd Zd Zd Zd Zy)TestSOCDim3Decompositionz/Test the SOC decomposition algorithm structure.c                    t        j                  d      }t        j                  d      }g g }}t        ||||      }t        |      dk(  sJ t        |      dk(  sJ t	        |t
              sJ |j                  dk(  sJ y)z6Dimension 2 (|x| <= t) converts to NonNeg constraints.TrK   r   r   r   N)r   rM   r	   r0   r   r   original_dimrN   rO   rP   rQ   rR   trees         r,   test_dim2_to_nonnegz,TestSOCDim3Decomposition.test_dim2_to_nonneg   s}    KKt$KKN "B~$Q5.A5zQ>"a'''$
+++  A%%%r6   c                     t        j                  d      }t        j                  d      }g g }}t        ||||      }t        |      dk(  sJ |d   j	                         dgk(  sJ t        |t              sJ y)z'Dimension 3 passes through as LeafTree.TrK   r   r   r   r   N)r   rM   r	   r0   r   r   r   rl   s         r,   test_dim3_is_leafz*TestSOCDim3Decomposition.test_dim3_is_leaf   ss    KKt$KKN "B~$Q5.A5zQQx""$+++$)))r6   c                     t        j                  d      }t        j                  d      }g g }}t        ||||      }t        |      dk(  sJ t	        d |D              sJ t        |t              sJ y)z%Dimension 4 uses ChainTree structure.TrK   r   r   c              3   D   K   | ]  }|j                         d gk(    ywr   Nr   .0r(   s     r,   	<genexpr>z>TestSOCDim3Decomposition.test_dim4_is_chain.<locals>.<genexpr>        8Q1<<>aS(8    N)r   rM   r	   r0   allr   r   rl   s         r,   test_dim4_is_chainz+TestSOCDim3Decomposition.test_dim4_is_chain   j    KKt$KKN "B~$Q5.A5zQ8%8888$	***r6   c                     t        j                  d      }t        j                  d      }g g }}t        ||||      }t        |      dk(  sJ t	        d |D              sJ t        |t              sJ y)z&Dimension 5+ uses SplitTree structure.TrK   r   r   c              3   D   K   | ]  }|j                         d gk(    ywrs   rt   ru   s     r,   rw   z>TestSOCDim3Decomposition.test_dim5_is_split.<locals>.<genexpr>   rx   ry   N)r   rM   r	   r0   rz   r   r   rl   s         r,   test_dim5_is_splitz+TestSOCDim3Decomposition.test_dim5_is_split   r|   r6   N)r_   r`   ra   rb   rn   rp   r{   r   rg   r6   r,   ri   ri      s    9&
*
+
+r6   ri   c                       e Zd ZdZd Zd Zy)TestSOCDim3StandardProblemsz5Test standard SOCP problems from solver test helpers.c                     t               }|j                  t        j                         t	        |j
                        \  }}t        |j
                  ||       y)z&Standard SOCP test case 1 (dim-4 SOC).N)r   r   r   r   r-   r$   rF   rN   sthr?   r&   s       r,   test_socp_1z'TestSOCDim3StandardProblems.test_socp_1   <    h		"++1#((;'8<r6   c                     t               }|j                  t        j                         t	        |j
                        \  }}t        |j
                  ||       y)z&Standard SOCP test case 2 (dim-2 SOC).N)r   r   r   r   r-   r$   rF   r   s       r,   test_socp_2z'TestSOCDim3StandardProblems.test_socp_2   r   r6   N)r_   r`   ra   rb   r   r   rg   r6   r,   r   r      s    ?==r6   r   c                   .    e Zd ZdZd Zd Zd Zd Zd Zy)TestSOCDim3EdgeCasesz&Test edge cases for SOCDim3 reduction.c                    d\  }}t        j                  |d      }t        j                  ||f      }t        ||d      }t        j                  d||z  dz   t
              j                  ||      }t        j                  t        j                  t        j                  |            |||k(  g      }|j                  t         j                         t        |      \  }}	t        |||	       y	)
z8SOC constraint with multiple elementwise cones (axis=0).)r   r   TrK   r   axisr   rV   r   Nr   rM   r   r1   rX   rY   reshaperZ   r[   sumr   r   r-   rF   
rN   n_conesrI   rO   Xr\   X_valr$   r?   r&   s
             r,   test_multi_cone_socz(TestSOCDim3EdgeCases.test_multi_cone_soc   s    KK-KK)*!QQ		!Vg-1?GGPWXzz"++bffQi03U
2CD

"++
&1$7gx8r6   c                    d\  }}t        j                  |d      }t        j                  ||f      }t        ||d      }t        j                  d||z  dz   t
              j                  ||      }t        j                  t        j                  t        j                  |            |||k(  g      }|j                  t         j                         t        |      \  }}	t        |||	       y)	zSOC constraint with axis=1.)r   r   TrK   r   r   rV   r   Nr   r   s
             r,   test_axis1_socz#TestSOCDim3EdgeCases.test_axis1_soc   s    KK-KK&)*!QQ		!Wv-1?GGQWXzz"++bffQi03U
2CD

"++
&1$7gx8r6   c                 |   t        j                  d      }t        j                  t        j                  t        j                  |            t        j
                  |d      dk  t        j                  |      dk\  g      }|j                  t         j                         |j                  }t               }|j                  |      \  }}|j                  t         j                         |t         j                  t         j                  fv sJ |j                  t         j                  t         j                  fv sJ y)z3INFEASIBLE status propagates through decomposition.r   r   r   
   r   N)r   rM   rZ   r[   r   normr   r   r   r   r   
INFEASIBLEINFEASIBLE_INACCURATE)rN   rP   r$   direct_statusr%   r&   _s          r,   test_infeasible_propagatesz/TestSOCDim3EdgeCases.test_infeasible_propagates  s    KKNzzKKq	"WWQ]ab1

 	

"++
&I	ood+!bkk*0H0H IIII2=="2J2J"KKKKr6   c                 R   t        j                  d      }t        j                         }t        j                  t        j                  |       t        j                  |d      |k  g      }|j                  t         j                         |j                  }t               }|j                  |      \  }}|j                  t         j                         |t         j                  t         j                  fv sJ |j                  t         j                  t         j                  fv sJ y)z2UNBOUNDED status propagates through decomposition.r   r   r   N)r   rM   rZ   r[   r   r   r   r   r   r   	UNBOUNDEDUNBOUNDED_INACCURATE)rN   rP   rO   r$   r   r%   r&   r   s           r,   test_unbounded_propagatesz.TestSOCDim3EdgeCases.test_unbounded_propagates  s    KKNKKMzz"++qb/BGGAqMQ,>+?@

"++
&I	ood+!bkk*r/F/F GGGG2<<1H1H"IIIIr6   c           
         t        j                  d      }t        j                  d      }t        j                  d      }t        j                  d      t        j                  d      t        j                  d      }}}t        ||      t        ||      t        ||      }	}}t        j                  t        j                  t        j
                  |      t        j
                  |      z   t        j
                  |      z         |||	|dk  |dk  |dk  g      }
|
j                  t         j                         t        |
      \  }}t        |
||       y	)
z1Multiple SOC constraints of different dimensions.r   r   r   TrK   r   r   r   N)
r   rM   r   rZ   r[   r   r   r   r-   rF   )rN   rP   yzt1t2t3soc1soc2soc3r$   r?   r&   s                r,    test_multiple_soc_different_dimsz5TestSOCDim3EdgeCases.test_multiple_soc_different_dims#  s    KKNKKNKKO[[-r{{$/G\`IaBr1:s2qz3r1:DdzzKKq	BFF1I-q	9:4rQwaq9

 	

"++
&1$7gx8r6   N)	r_   r`   ra   rb   r   r   r   r   r   rg   r6   r,   r   r      s     099L$J 9r6   r   )g-C6?)rb   numpyr1   rc   cvxpyr   cvxpy.constraints.second_orderr   #cvxpy.reductions.cone2cone.soc_dim3r   r   r   r   r   r	   cvxpy.reductions.solutionr
   cvxpy.tests.solver_test_helpersr   r   rf   r-   r5   rF   rH   ri   r   r   rg   r6   r,   <module>r      sm        .  / : #	5,
/D9 9H2+ 2+r= =,P9 P9r6   