Positive semidefinite cone (source code)

= Positive semidefinite cone

The positive semidefinite matrices form a convex cone because nonnegative combinations preserve nonnegative quadratic forms.