Computation in projective space