Canonicalization-class: The Canonicalization class.

In anqif/cvxr: Disciplined Convex Optimization

The Canonicalization class.

Description

This class represents a canonicalization reduction.

Usage

## S4 method for signature 'Canonicalization,Problem'
perform(object, problem)

## S4 method for signature 'Canonicalization,Solution,InverseData'
invert(object, solution, inverse_data)

## S4 method for signature 'Canonicalization'
canonicalize_tree(object, expr)

## S4 method for signature 'Canonicalization'
canonicalize_expr(object, expr, args)

Arguments

object	A Canonicalization object.
problem	A Problem object.
solution	A Solution to a problem that generated the inverse data.
inverse_data	An InverseData object that contains the data encoding the original problem.
expr	An Expression object.
args	List of arguments to canonicalize the expression.

Methods (by generic)

• perform(object = Canonicalization, problem = Problem): Recursively canonicalize the objective and every constraint.

• invert( object = Canonicalization, solution = Solution, inverse_data = InverseData ): Performs the reduction on a problem and returns an equivalent problem.

• canonicalize_tree(Canonicalization): Recursively canonicalize an Expression.

• canonicalize_expr(Canonicalization): Canonicalize an expression, w.r.t. canonicalized arguments.

anqif/cvxr documentation built on Feb. 1, 2024, 5:42 p.m.