bi"dZddlmZddlmZddlmZddlm Z ddl m Z ddl m Z ddlmZdd lmZd Zd Zd Zd ZdZdZdZdZdZdZej8eej:eej<eej>eej@eejBeejDeiZ#ej8eej:eej>eiZ$dZ%dZ&y)a+ Copyright, 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. )atoms)binary_operators)diag_vec)promote) upper_tri)PSD) Parameter)Variablecn|jd|j|jfd}|gS)Nrc"jdkDryjdz}d|dzz tjztjd|zz zz tjz|tjzz dkS)NFr)valuer sum_squaresmatmul)tsqabtxs Y/home/cdr/jupyterlab/.venv/lib/python3.12/site-packages/cvxpy/reductions/dqcp2dcp/sets.py sublevel_setz$dist_ratio_sub..sublevel_set$s 77Q;ggqj365,,Q// Q#a%[!,-/4/@/@/CDE%%a(()-./ /)argsrr)exprrrrrrs ` @@@rdist_ratio_subrs1 ! A A A/ >rc*|j\}}|jr,|jr||tj|zk\gS|j r.|j r| |tj| zk\gSt dNzIncorrect signs.)r is_nonnegrinv_pos is_nonpos ValueErrorrrrys rmul_supr%.sy 99DAq{{}Qq)))** 1;;=a%--+++,,+,,rc&|j\}}|jr,|jr||tj|zkgS|jr,|jr||tj|zkgSt dr)rrr!rr r"r#s rmul_subr'8su 99DAq{{}Qq)))** 1;;=Qq)))**+,,rc|j\}}|jr |||zk\gS|jr |||zkgStdNz%The denominator's sign must be known.rrr!r"r#s r ratio_supr+BM 99DAq{{}QU | QU |@AArc|j\}}|jr |||zkgS|jr |||zk\gStdr)r*r#s r ratio_subr.Lr,rc|jdttr fd}|gStt j j ddk(gS)Nrcjdkryjjk\ryttjjddk(S)NrFT)rsizeintrfloor)argrsrrz length_sub..sublevel_setYsJww{ww#(("s5;;q>//012a7 7r)r isinstancer r2rr3r)rrrr4s ` @r length_subr6VsR ))A,C!Y 8 ~C A,,-./1455rc6|jdfd}|gS)NrcNjdkryjdkrdk\Sy)NTr rFrrrsrsuperlevel_setz sign_sup..superlevel_setgs( 77b= WW\6Mrr)rrr<rs ` @rsign_supr>ds  ! A  rc6|jdfd}|gS)NrcNjdk\ryjdk\rdkSy)Nr Tr9rFr:r;srrzsign_sub..sublevel_setts( 77a< WW]6Mrr=)rrrrs ` @rsign_subrAqs ! A >rc|jd|jdjk(|jddz ||jdz|jdz dz gS)Nrr )rTrrs rgen_lambda_max_subrE~sZ IIaLDIIaLNN * IIaLA  1  ! , 1 44rcH|jd}|jd}td}t||z|f}t||f}|t |z }t ||z }t |t |j k(t|t|t|gS)NrT)pos)rshaper rrrrCr) rrAnuprom_utprom_u tmp_expr1 tmp_expr2s rcondition_number_subrPs ! A  ATAa!eaT"G Q FHV$$I!A%I aLIaccN * F  N  N rc~ tt|||S#t$rtdt|dwxYw)zwReturn the t-level sublevel set for `expr`. Returned as a constraint phi_t(x) <= 0, where phi_t(x) is convex. The d atom is not yet supported in DQCP. Please file an issue here: https://github.com/cvxpy/cvxpy/issues) SUBLEVEL_SETStypeKeyError RuntimeErrorrDs rsublevelrXsU MT$Z(q11 MtDzl#LLM MM"<c~ tt|||S#t$rtdt|dwxYw)zzReturn the t-level superlevel set for `expr`. Returned as a constraint phi_t(x) >= 0, where phi_t(x) is concave. rRrS)SUPERLEVEL_SETSrUrVrWrDs r superlevelr\sU MtDz*433 MtDzl#LLM MMrYN)'__doc__cvxpyrcvxpy.atoms.affinerbin_opcvxpy.atoms.affine.diagrcvxpy.atoms.affine.promotercvxpy.atoms.affine.upper_trircvxpy.constraints.psdr%cvxpy.expressions.constants.parameterr cvxpy.expressions.variabler rr%r'r+r.r6r>rArErPmultiply DivExpressionlengthsign dist_ratiogen_lambda_maxcondition_numberrTr[rXr\rrros9,.2%;/ --BB 6  4 " NNG ) LL* JJ n , 0  NNG ) JJ M Mr