ProjectiveSpace(3) for Position3h / Point3h

[dehann]

Want to use Manifolds.ProjectiveSpace(3) but unsure how to consolidate with current exmap which only works on vector length up to pi.

E.g.

M = ProjectiveSpace(3)
e0 = [0;0;0;1]
[0;0;0;1] == exmap(M,e0,hat(M,e0,[2pi;0;0]))

How to use in conversion from regular Position3 / Point3 vectors much further out than pi?

[dehann]

Also see:

• https://en.wikipedia.org/wiki/Projective_space
• https://en.wikipedia.org/wiki/Pinhole_camera_model