PlanetPhysics/Axis Angle of Rotation to Quaternions

Quaternions can be defined from the axis angle of rotation by