Add is_rotation.py