Positive semidefinite trace ball (source code)

= Positive semidefinite trace ball

The positive semidefinite trace ball of radius $s$ is
$$
\mathcal S_s=\{Z=Z^T:Z\succeq0,\ \operatorname{tr}Z\leq s\}.
$$
It is closed and convex, and $\|Z\|_F\leq\operatorname{tr}Z\leq s$ for every $Z\in\mathcal S_s$.