Data.Vect.Floating.Util.Dim4

Rotation around an arbitrary plane in four dimensions, and other miscellanea. Not very useful for most people, and not re-exported by Data.Vect.

Documentation

structVec4 :: [a] -> [Vec4 a]

destructVec4 :: [Vec4 a] -> [a]

translate4X :: Num a => a -> Vec4 a -> Vec4 a

translate4Y :: Num a => a -> Vec4 a -> Vec4 a

translate4Z :: Num a => a -> Vec4 a -> Vec4 a

translate4W :: Num a => a -> Vec4 a -> Vec4 a

vec4X :: Num a => Vec4 a

vec4Y :: Num a => Vec4 a

vec4Z :: Num a => Vec4 a

vec4W :: Num a => Vec4 a

biVector4 :: Num a => Vec4 a -> Vec4 a -> (a, a, a, a, a, a)

If (x,y,u,v) is an orthonormal system, then (written in pseudo-code) biVector4 (x,y) = plusMinus (reverse $ biVector4 (u,v)). This is a helper function for the 4 dimensional rotation code. If (x,y,z,p,q,r) = biVector4 a b, then the corresponding antisymmetric tensor is

 [  0  r  q  p ]
 [ -r  0  z -y ]
 [ -q -z  0  x ]
 [ -p  y -x  0 ]

biVector4AsTensor :: Num a => Vec4 a -> Vec4 a -> Mat4 a

the corresponding antisymmetric tensor

rotate4' :: Floating a => a -> (Normal4 a, Normal4 a) -> Vec4 a -> Vec4 a

We assume that the axes are normalized and orthogonal to each other!

rotate4 :: Floating a => a -> (Vec4 a, Vec4 a) -> Vec4 a -> Vec4 a

We assume only that the axes are independent vectors.

rotMatrix4' :: Floating a => a -> (Normal4 a, Normal4 a) -> Mat4 a

Rotation matrix around a plane specified by two normalized and orthogonal vectors. Intended for multiplication on the right!

rotMatrix4 :: Floating a => a -> (Vec4 a, Vec4 a) -> Mat4 a

We assume only that the axes are independent vectors.