Rotation_operator_(vector_space) loading ...