def rotate2D(pts, origin, ang=(pi / 4)):
 return (dot((pts - origin), ar([[cos(ang), sin(ang)], [(- sin(ang)), cos(ang)]])) + origin)

def rotate2D ( pts , origin , ang = ( pi / 4 ) ) : return ( dot ( ( pts - origin ) , ar ( [ [ cos ( ang ) , sin ( ang ) ] , [ ( - sin ( ang ) ) , cos ( ang ) ] ] ) ) + origin )
pts = {} rotates points about center cnt(2) by angle ang(1) in radian .