def rotate(th):
    s = sin(th)
    rv = eye(3)*cos(th)
    rv[0, 1] = s
    rv[1, 0] = -s
    rv[2, 2] = 1
    return rv
Return the matrix to rotate a 2-D point about the origin by ``angle``.
dataset/ETHPy150Open sympy/sympy/sympy/geometry/entity.py/rotate