bi0dZddlmZmZGddeZy)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. )ABCMetaabstractmethodcLeZdZdZd d dZdZdZdZedZ edZ y) ReductionaAbstract base class for reductions. A reduction is an actor that transforms a problem into an equivalent problem. By equivalent we mean that there exists a mapping between solutions of either problem: if we reduce a problem :math:`A` to another problem :math:`B` and then proceed to find a solution to :math:`B`, we can convert it to a solution of :math:`A` with at most a moderate amount of effort. A reduction that is instantiated with a non-None problem offers two key methods: `reduce` and `retrieve`. The `reduce()` method converts the problem the reduction was instantiated with to an equivalent problem. The `retrieve()` method takes as an argument a Solution for the equivalent problem and returns a Solution for the problem owned by the reduction. Every reduction offers three low-level methods: accepts, apply, and invert. The accepts method of a particular reduction specifies the types of problems that it is applicable to; the apply method takes a problem and reduces it to an equivalent form, and the invert method maps solutions from reduced-to problems to their problems of provenance. Parameters ---------- problem : Problem A problem owned by this reduction; possibly None. Nc||_y)zConstruct a reduction for reducing `problem`. If `problem` is not None, then a subsequent invocation of `reduce()` will reduce `problem` and return an equivalent one. N)problemselfrs U/home/cdr/jupyterlab/.venv/lib/python3.12/site-packages/cvxpy/reductions/reduction.py__init__zReduction.__init__1s  ct)a States whether the reduction accepts a problem. Parameters ---------- problem : Problem The problem to check. Returns ------- bool True if the reduction can be applied, False otherwise. NotImplementedErrorr s r acceptszReduction.accepts9s "##r ct|dr |jS|j td|j |j\}}||_||_|S)a2Reduces the owned problem to an equivalent problem. Returns ------- Problem or dict An equivalent problem, encoded either as a Problem or a dict. Raises ------ ValueError If this Reduction was constructed without a Problem. _emitted_problemz0The reduction was constructed without a Problem.)hasattrrr ValueErrorapply_retrieval_data)r rretrieval_datas r reducezReduction.reduceHse 4+ ,(( ( << @B B#'**T\\": '-r cht|ds td|j||jS)aRetrieves a solution to the owned problem. Parameters ---------- solution : Solution A solution to the problem emitted by `reduce()`. Returns ------- Solution A solution to the owned problem. Raises ------ ValueError If `self.problem` is None, or if `reduce()` was not previously called. rz.`reduce()` must be called before `retrieve()`.)rrinvertr)r solutions r retrievezReduction.retrieveas2&t./MN N{{8T%9%9::r ct)aApplies the reduction to a problem and returns an equivalent problem. Parameters ---------- problem : Problem The problem to which the reduction will be applied. Returns ------- Problem or dict An equivalent problem, encoded either as a Problem or a dict. InverseData, list or dict Data needed by the reduction in order to invert this particular application. rr s r rzReduction.applyxs $"##r ct)a~Returns a solution to the original problem given the inverse_data. Parameters ---------- solution : Solution A solution to a problem that generated the inverse_data. inverse_data The data encoding the original problem. Returns ------- Solution A solution to the original problem. r)r r inverse_datas r rzReduction.inverts "##r )N)returnN) __name__ __module__ __qualname____doc__r rrrrrrr r rrsC8 $2;.$$&$$r r) metaclassN)r%abcrrrr&r r r)s (H$'H$r