Quaternions and spherical trigonometry