General linear position (source code)

= General linear position

Points in $\mathbb P^n$ are in general linear position when no $k+1$ of them lie in a projective subspace of dimension less than $k$ for $k\leq n$. Equivalently, every selection of at most $n+1$ representing vectors is <linearly independent>.