smith_annotation

Returns LaTeX-math annotation data for visualizing the canonicalization
pipeline. Each atom class can override this to provide a custom LaTeX name,
definition, and conic form. The default stub auto-generates from class
metadata.

internal

An object-oriented modeling language for disciplined
convex programming (DCP) as described in Fu, Narasimhan, and Boyd
(2020, <doi:10.18637/jss.v094.i14>). It allows the user to
formulate convex optimization problems in a natural way following
mathematical convention and DCP rules. The system analyzes the
problem, verifies its convexity, converts it into a canonical
form, and hands it off to an appropriate solver to obtain the
solution. This version uses the S7 object system for improved
performance and maintainability.

Anqi Fu

CVXR

Disciplined Convex Optimization

Balasubramanian Narasimhan

Steven Diamond

John Miller

Stephen Boyd

smith_annotation function

<dl><dt>expr</dt>
<dd>An Expression, Atom, or Leaf.</dd>
<dt>aux_var</dt>
<dd>Character: the auxiliary variable name assigned to this node (e.g., "t_3").</dd>
<dt>child_vars</dt>
<dd>Character vector: auxiliary variable names of the children.</dd>
<dt>...</dt>
<dd>Reserved for future use.</dd></dl>

Arguments

Smith Form Annotation for an Expression Node — smith_annotation

<dl>

<dt>expr</dt>
<dd>An Expression, Atom, or Leaf.</dd>


<dt>aux_var</dt>
<dd>Character: the auxiliary variable name assigned to this node (e.g., "t_3").</dd>


<dt>child_vars</dt>
<dd>Character vector: auxiliary variable names of the children.</dd>


<dt>...</dt>
<dd>Reserved for future use.</dd>

</dl>

smith_annotation: Smith Form Annotation for an Expression Node

Description

Usage

Value

Arguments