remove unnecessary function now in rotations.h