Rotate Vector/Point with Python
A vector has a rotate function - see mathutils.Vector.rotate

vec = mathutils.Vector((0.0, 1.0, 2.0))
eul = mathutils.Euler((0.0, math.radians(45.0), 0.0), 'XYZ')
vec.rotate(eul)