smith_annotation: Smith Form Annotation for an Expression Node

In CVXR: Disciplined Convex Optimization

Smith Form Annotation for an Expression Node

Description

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.

Usage

smith_annotation(expr, aux_var = "t", child_vars = character(0), ...)

Arguments

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

Value

A list with components: latex_name, latex_definition, conic, doc_topic, developer.

CVXR documentation built on March 6, 2026, 9:10 a.m.