is_psd

Check if Expression is Positive Semidefinite

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

is_psd function

<dl><dt>x</dt>
<dd>An expression object.</dd>
<dt>...</dt>
<dd>Not used.</dd></dl>

Arguments

Check if Expression is Positive Semidefinite — is_psd

<dl>

<dt>x</dt>
<dd>An expression object.</dd>


<dt>...</dt>
<dd>Not used.</dd>

</dl>

is_psd: Check if Expression is Positive Semidefinite

Description

Usage

Value

Arguments