biW RdZddlmZmZddlmZddlmZddl m Z GddeZ y) a0 Copyright 2022, 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. )ListTuple)linalg)Atom) ConstraintceZdZdZdfd ZdZdeefdZdZ ddZ de e dffd Z de eeffd Zdefd Zdefd Zdefd ZdefdZdefdZxZS)condition_numberz Condition Number; :math:`\lambda_{\max}(A) / \lambda_{\min}(A)`. Requires that A be a Positive Semidefinite Matrix. returnc,tt| |y)N)superr __init__)selfA __class__s W/home/cdr/jupyterlab/.venv/lib/python3.12/site-packages/cvxpy/atoms/condition_number.pyr zcondition_number.__init__s .q1c|jdjddz x}}tj|d||fd}tj|d ||fd }||z S)zgReturns the condition number of A. Requires that A be a Positive Semidefinite Matrix. r)subset_by_index)argsshapeLAeigvalsh)rvalueslohi max_eigen min_eigens rnumericzcondition_number.numericsp ))A,$$Q'))RKKq B8DQG [[&)b"XFqII 9$$rcx|jdj|jdk(|jddz gS)z?Returns constraints describing the domain of the node. r)rHrs r_domainzcondition_number._domain)s5 ! $))A,. ! 0ABBrct)a+Gives the (sub/super)gradient of the atom w.r.t. each argument. Matrix expressions are vectorized, so the gradient is a matrix. Args: values: A list of numeric values for the arguments. Returns: A list of SciPy CSC sparse matrices or None. )NotImplementedError)rrs r_gradzcondition_number._grad.s "!rc|jdjdk(r9|jdjd|jdjdk7r*td|jdj dy)z7Verify that the argument A is a square matrix. rrz The argument z/ to condition_number must be a 2-d square arrayN)rndimr ValueErrornamer"s rvalidate_argumentsz#condition_number.validate_arguments;szyy|  A%1););A)>$))A,BTBTUVBW)W ! 1 1 344cd *Xr.ctS)z8Returns the (row, col) shape of the expression. )tupler"s rshape_from_argsz condition_number.shape_from_argsCs wrcy)zCReturns sign (is positive, is negative) of the expression. )TFr"s rsign_from_argszcondition_number.sign_from_argsHsrcy)zIs the atom convex? Fr1r"s ris_atom_convexzcondition_number.is_atom_convexMrcy)zIs the atom concave? Fr1r"s ris_atom_concavez condition_number.is_atom_concaveRr5rcy)z!Is the atom quasiconvex? Tr1r"s ris_atom_quasiconvexz$condition_number.is_atom_quasiconvexWsrcy)z;Is the composition non-decreasing in argument idx? Fr1ridxs ris_incrzcondition_number.is_incr\r5rcy)z;Is the composition non-increasing in argument idx? Fr1r;s ris_decrzcondition_number.is_decrar5r)r N)__name__ __module__ __qualname____doc__r rrrr#r&r,rintr/boolr2r4r7r9r=r? __classcell__)rs@rr r s2%Cj)C "sCx dDj 1   T d drr N) rCtypingrrscipyrrcvxpy.atoms.atomrcvxpy.constraints.constraintrr r1rrrKs&!3LtLr