Isotropic vector (source code)

= Isotropic vector

A vector $v$ is isotropic for a quadratic form $q$ when $q(v)=0$.