Data.Geometria.Space

landing :: Vector 3 -> Matrix Number

Matrix used by the land function.

land :: Vector 3 -> Vector 3 -> Vector 3

land n is a 3D-rotation such that, for every 3D vector u in the plane P of normal vector n, land n u has a constant altitude (z-coordinate). Thanks to land, every computation on P can be performed in 2D. The rotation matrix is obtained by the landing function, and, as it is orthogonal, the inverse transformation is simply done by the transposed matrix.

revolution :: Vector 3 -> Number -> Vector 3 -> Vector 3

revolution n a u is the 3D-rotation of u of angle a around the normalized axis n.