code: def get_rotated(self, angle):
          
          result = self.copy()
          result.rotate(angle)
          return result
docs: Return a vector rotated by angle from the given vector. Angle measured in radians counter-clockwise.