bi`dZddlmZmZddlZddlmcmZ ddl m Z ddl m Z Gdde Zy)a, Copyright 2017 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. )ListTupleN) Constraint) ExpressioncJeZdZdZddeededdffd Zejde fdZ de fdZ de fd Z de fd Zde fd Zde fd Zde fd Zde fdZde fdZdeefdZedeedffdZddede fdZdefdZdeefdZedefdZedZxZS) indicatora%An expression representing the convex function I(constraints) = 0 if constraints hold, +infty otherwise. Parameters ---------- constraints : list A list of constraint objects. err_tol: A numeric tolerance for determining whether the constraints hold. constraintserr_tolreturnNcF||_||_tt|y)N)argsr superr__init__)selfr r __class__s U/home/cdr/jupyterlab/.venv/lib/python3.12/site-packages/cvxpy/transforms/indicator.pyrzindicator.__init__&s   i')ct|jDcgc]}|jc}g}t|Dcgc]}|jc}Scc}wcc}w)zIThe Indicator is constant if all constraints have constant args. )sumr all is_constant)rcall_argsargs rrzindicator.is_constant+sH 212B7:#COO%:;;3:s AAcy)z"Is the expression convex? Trs r is_convexzindicator.is_convex2rcy)z#Is the expression concave? Frrs r is_concavezindicator.is_concave7rcyNFrrs ris_log_log_convexzindicator.is_log_log_convex<rcyr$rrs ris_log_log_concavezindicator.is_log_log_concave?r&rcy)z$Is the expression positive? Trrs r is_nonnegzindicator.is_nonnegBrrcy)z$Is the expression negative? Frrs r is_nonposzindicator.is_nonposGr"rcy)zIs the Leaf imaginary? Frrs ris_imagzindicator.is_imagLr"rcy)z$Is the Leaf complex valued? Frrs r is_complexzindicator.is_complexQr"rc|jgS)zLReturns info needed to reconstruct the expression besides the args. )r rs rget_datazindicator.get_dataVs ~r.cy)z=Returns the (row, col) dimensions of the expression. rrrs rshapezindicator.shape[srcontextcy)zBThe expression is a disciplined parameterized expression. Fr)rr5s ris_dppzindicator.is_dppar"rc"d|jdS)z=Returns the string representation of the expression. z Indicator()r rs rnamezindicator.namefsDII;a((rc|jS)znA list of constraints describing the closure of the region where the expression is finite. r:rs rdomainzindicator.domainksyyrcbtfdjDrytjS)zoReturns the numeric value of the expression. Returns: A numpy matrix or a scalar. c3VK|] }|jj"yw)) toleranceN)valuer ).0consrs r z"indicator.value..xs HdtzzDLLz1Hs&)g)rr npinfrs`rrAzindicator.valueqs# HdiiH H66Mrct)a-Gives the (sub/super)gradient of the expression w.r.t. each variable. Matrix expressions are vectorized, so the gradient is a matrix. None indicates variable values unknown or outside domain. Returns: A map of variable to SciPy CSC sparse matrix or None. )NotImplementedErrorrs rgradzindicator.grad}s "##r)gMbP?)dcp) __name__ __module__ __qualname____doc__rrfloatrperf compute_onceboolrrr!r%r(r*r,r.r0r2propertyrintr4strr7r;r=rArI __classcell__)rs@rrrs; *D$4*u*PT*  r^s, 0033n$ n$r