birdZddlZddlZddlmZddlmZGddeZGddeZ Gd d eZ 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. N) Constraint)scopesc|eZdZdZdZd d fd ZdefdZddedefdZ ddedefdZ defd Z e d Z d ZxZS)NonPosaAn inequality constraint of the form :math:`x \leq 0`. The preferred way of creating an inequality constraint is through operator overloading. To constrain an expression ``x`` to be nonpositive, write ``x <= 0``; to constrain ``x`` to be nonnegative, write ``x >= 0``. Dual variables associated with this constraint are nonnegative, rather than nonpositive. As such, dual variables to this constraint belong to the polar cone rather than the dual cone. Note: strict inequalities are not supported, as they do not make sense in a numerical setting. Parameters ---------- expr : Expression The expression to constrain. constr_id : int A unique id for the constraint. a Explicitly invoking "NonPos(expr)" to a create a constraint is deprecated. Please use operator overloading or "NonNeg(-expr)" instead. Sign conventions on dual variables associated with NonPos constraints may change in the future. returnctjtjtt t||g||jdjs tdy)NrzInput to NonPos must be real.) warningswarnrDEPRECATION_MESSAGEDeprecationWarningsuper__init__argsis_real ValueErrorselfexpr constr_id __class__s S/home/cdr/jupyterlab/.venv/lib/python3.12/site-packages/cvxpy/constraints/nonpos.pyrzNonPos.__init__8sP f002DE fd$dVY7yy|##%<= =&c&d|jdzS)Nz%s <= 0rrrs rnamez NonPos.name>499Q<''rdppc|r;tj5|jdjcdddS|jdjS#1swY&xYw)z5A NonPos constraint is DCP if its argument is convex.rN)r dpp_scoper is_convexrrs ris_dcpz NonPos.is_dcpAsV !!# 0yy|--/ 0 0yy|%%'' 0 0 AA$cyNFr"s ris_dgpz NonPos.is_dgpHrc<|jdjSNr)ris_quasiconvexrs ris_dqcpzNonPos.is_dqcpKsyy|**,,rc|jjytj|jjdSzaThe residual of the constraint. Returns --------- NumPy.ndarray Nrrvaluenpmaximumrs rresidualzNonPos.residualN. 99?? "zz$))//1--rcz|j}| tdtjj |d}|SNzNCannot compute the violation of an constraint whose expression is None-valued.)ordr4rr2linalgnormrresviols r violationzNonPos.violationZ@mm ;@A Ayy~~cq~) rNrNF)__name__ __module__ __qualname____doc__r rstrrboolr#r(r-propertyr4r@ __classcell__rs@rrrsl*> (c(($(4($4-- . .rrcxeZdZdZd d fd ZdefdZd dedefdZd dedefdZ defdZ e d Z d Z xZS)NonNega8A constraint of the form :math:`x \geq 0`. The preferred way of creating an inequality constraint is through operator overloading. To constrain an expression ``x`` to be nonnegative, write ``x >= 0``; to constrain ``x`` to be nonpositive, write ``x <= 0``. Dual variables for these constraints are nonnegative. As such, they actually belong to this constraint class' corresponding dual cone. Parameters ---------- expr : Expression The expression to constrain. constr_id : int A unique id for the constraint. rctt| |g||jdj s t dy)NrzInput to NonNeg must be real.)r rOrrrrrs rrzNonNeg.__init__ts; fd$dVY7yy|##%<= =&rc&d|jdzS)Nz%s >= 0rrrs rrz NonNeg.nameyrrrc|r;tj5|jdjcdddS|jdjS#1swY&xYw)z (c()$)4)$4.. 6 6rrOceZdZdZddfd Zdfd ZedZdefdZ edZ edZ dd e de fd Z dd e de fd Zdde fd Zde fd ZedZxZS) InequalityaA constraint of the form :math:`x \leq y`. Dual variables to these constraints are always nonnegative. A constraint of this type affects the Lagrangian :math:`L` of a minimization problem by :math:`L += (x - y)^{T}(\texttt{con.dual\_value})`. The preferred way of creating one of these constraints is via operator overloading. The expression ``x <= y`` evaluates to ``Inequality(x, y)``, and the expression ``x >= y`` evaluates to ``Inequality(y, x)``. Parameters ---------- lhs : Expression The expression to be upper-bounded by rhs rhs : Expression The expression to be lower-bounded by lhs constr_id : int A unique id for the constraint. rc||z |_|jjr tdtt|||g|y)Nz)Inequality constraints cannot be complex.)_expr is_complexrr r\r)rlhsrhsrrs rrzInequality.__init__s?3Y :: "HI I j$(#sY?rcBtt| |jgyrB)r r\_construct_dual_variablesr^)rrrs rrcz$Inequality._construct_dual_variabless j$94::,Grc|jSrB)r^rs rrzInequality.exprs zzrcD|jdd|jdS)Nrz <= rrs rrzInequality.names!YYq\499Q<88rc.|jjS)z.int : The shape of the constrained expression.)rshapers rrhzInequality.shapesyyrc.|jjS)z-int : The size of the constrained expression.)rsizers rrjzInequality.sizesyy~~rrc|r8tj5|jjcdddS|jjS#1swY#xYw)z;A non-positive constraint is DCP if its argument is convex.N)rr rr!r"s rr#zInequality.is_dcpsN !!# -yy**, - -yy""$$ - -s AAcJ|rZtj5|jdjxr|jdj cdddS|jdjxr|jdj S#1swYExYwNrrf)rr ris_log_log_convexis_log_log_concaver"s rr(zInequality.is_dgps !!# ; ! 668: ! 779 ; ; ! ..02 ! //1 3 ; ;s t>MM  . .rr\) rHr numpyr2cvxpy.constraints.constraintrcvxpy.utilitiesrrrOr\r'rrr|sD 4"FZFR8Z8vX.X.r