Proper Euclidean motion of Euclidean three-space (source code)

= Proper Euclidean motion of Euclidean three-space
{title2=$\operatorname{SE}(3)$}

A proper Euclidean motion has the form $E(x)=Ax+b$ with $A\in SO(3)$. It preserves lengths, dot products, cross products, orientation, curvature, and torsion.

This is the orientation-preserving subgroup of the three-dimensional <Euclidean group>.