Positive semidefinite bilinear form (source code)

= Positive semidefinite bilinear form

A symmetric bilinear form is positive semidefinite when $B(v,v)\geq0$ for every $v$, and positive definite when equality is possible only for $v=0$.