bi RdZddlmZmZddlmZddlmZddl m Z GddeZ y) a, Copyright 2013 Steven Diamond 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 ZdefdZdefdZdefdZxZS)gen_lambda_maxzBMaximum generalized eigenvalue; :math:`\lambda_{\max}(A, B)`. returnc.tt| ||y)N)superr __init__)selfAB __class__s U/home/cdr/jupyterlab/.venv/lib/python3.12/site-packages/cvxpy/atoms/gen_lambda_max.pyr zgen_lambda_max.__init__s nd,Q2c|jdjddz x}}tj|d|dd||fdS)zReturns the largest generalized eigenvalue corresponding to A and B. Requires that A is symmetric, B is positive semidefinite. rT)ab eigvals_onlysubset_by_index)argsshapeLAeigh)rvalueslohis rnumericzgen_lambda_max.numericsX ))A,$$Q'))Rww$((*Bx1234 4rc|jdj|jdk(|jdj|jdk(|jddz gS)z?Returns constraints describing the domain of the node. rr)rHrs r_domainzgen_lambda_max._domain*sU ! $))A,. ! $))A,0N ! !# #rct)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_gradzgen_lambda_max._grad0s "##rc|jdjdk(r|jdjd|jdjdk7sl|jdjd|jdjdk7s3|jdj|jdjk7rHtd|jdj d|jdj dy)zLVerify that the argument A, B are square and of the same dimension. rrzThe arguments 'z' and 'z@' to gen_lambda_max must be square and have the same dimensions.N)rndimr ValueErrornamer$s rvalidate_argumentsz!gen_lambda_max.validate_arguments=s ! !!Q& ! ""1%1););A)>> ! ""1%1););A)>> ! ""diil&8&881""$diil&7&7&9;< <9r.ctS)z8Returns the (row, col) shape of the expression. )tupler$s rshape_from_argszgen_lambda_max.shape_from_argsIs wrcy)zCReturns sign (is positive, is negative) of the expression. )FFr$s rsign_from_argszgen_lambda_max.sign_from_argsNsrcy)zIs the atom convex? Fr3r$s ris_atom_convexzgen_lambda_max.is_atom_convexSrcy)zIs the atom concave? Fr3r$s ris_atom_concavezgen_lambda_max.is_atom_concaveXr7rcy)z!Is the atom quasiconvex? Tr3r$s ris_atom_quasiconvexz"gen_lambda_max.is_atom_quasiconvex]srcy)z"Is the atom quasiconcave? Fr3r$s ris_atom_quasiconcavez#gen_lambda_max.is_atom_quasiconcavebr7rcy)z;Is the composition non-decreasing in argument idx? Fr3ridxs ris_incrzgen_lambda_max.is_incrgr7rcy)z;Is the composition non-increasing in argument idx? Fr3r?s ris_decrzgen_lambda_max.is_decrlr7r)r N)__name__ __module__ __qualname____doc__r r!rrr%r(r.rintr1boolr4r6r9r;r=rArC __classcell__)rs@rr r s3 4#j)# $ <sCx dDj 1   T d d drr N) rGtypingrrscipyrrcvxpy.atoms.atomrcvxpy.constraints.constraintrr r3rrrOs&!3WTWr