Radical of a bilinear form (source code)

= Radical of a bilinear form

The radical of a symmetric bilinear form $B$ is
$$
\operatorname{rad}B=\{v:B(v,w)=0\text{ for every }w\}.
$$
The form is nondegenerate exactly when its radical is zero.