Rotations, Quaternions, and Double Groups (Dover Books on Mathematics)