Module soc 

Structs

SocConstraint

An explicit second-order cone constraint ||terms||_2 <= bound.

SocConstraintId

SocForm

Normalized second-order cone data: || A x + a ||_2 <= b'x + beta, one LinearTerms per row of A x + a plus one for the bound side. Produced by detect_soc (algebraic quadratic constraints) and explicit_soc_form (SocConstraints), so backends translate both through a single shape.

Functions

detect_soc

Recognize an algebraic quadratic constraint as second-order-cone shaped.

explicit_soc_form

The normalized SocForm view of an explicit SocConstraint. Members are validated affine at registration, so this only returns None on a corrupted model (e.g. an ExprId from a different arena).