bi$fdZddlmZddlmZddlmZddlmZddl m Z ddl m Z Gdd e Z y ) aY Copyright 2013 Steven Diamond, 2017 Akshay Agrawal, 2017 Robin Verschueren 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. )problems)cvxtypes) Expression) InverseData) Reduction)SolutioncXeZdZdZd d fd ZdZdZd defdZ d de de defd Z xZ S) CanonicalizationaRecursively canonicalize each expression in a problem. This reduction recursively canonicalizes every expression tree in a problem, visiting each node. At every node, this reduction first canonicalizes its arguments; it then canonicalizes the node, using the canonicalized arguments. The attribute `canon_methods` is a dictionary mapping node types to functions that canonicalize them; the signature of these canonicalizing functions must be def canon_func(expr, canon_args) --> (new_expr, constraints) where `expr` is the `Expression` (node) to canonicalize, canon_args is a list of the canonicalized arguments of this expression, `new_expr` is a canonicalized expression, and `constraints` is a list of constraints introduced while canonicalizing `expr`. Attributes: ---------- canon_methods : dict A dictionary mapping node types to canonicalization functions. problem : Problem A problem owned by this reduction. c<tt| |||_y)N)problem)superr __init__ canon_methods)selfrr __class__s \/home/cdr/jupyterlab/.venv/lib/python3.12/site-packages/cvxpy/reductions/canonicalization.pyrzCanonicalization.__init__3s .w.?*cZt|}|j|j\}}|jD]P}|j|\}}|||gzz }|jj |j |j iRtjj||}||fS)zJ66  7,7""JGyy #55(; 6  1yk) 1   !22$73MJ qLG7""rr8r7ct|tr*|xr|j}|jxr| }nd}|r|gfSt ||j vr|j t |||S|j |gfS)awCanonicalize an expression, w.r.t. canonicalized arguments. Args: expr: Expression to canonicalize. args: Arguments to the expression. canonicalize_params: Should constant subtrees containing parameters be canonicalized? Returns: canonicalized expression, constraints F) isinstancer parameters is_constantr5rcopy)rr8r7r3canon_with_params skip_canons rr9z"Canonicalization.canonicalize_expr}s" dJ '!4 I8I ))+E4E0EJJ 8O :++ +14%%d4j1$= =99T?B& &rr%)returnN)T) __name__ __module__ __qualname____doc__rr#r2boolrrlistr9 __classcell__)rs@rr r sJ2+)*'%#4%#V)- '''"& 'rr N)rLcvxpyrcvxpy.expressionsrcvxpy.expressions.expressionrcvxpy.reductions.inverse_datarcvxpy.reductions.reductionrcvxpy.reductions.solutionrr rrrWs, &350.C'yC'r