Projective point (source code)

= Projective point

A projective point is an equivalence class $[x_0:\cdots:x_n]$ of nonzero coordinate vectors under multiplication by a nonzero scalar.