pub fn rot_y(theta: &Ex) -> Matrix
Rotation matrix about the y-axis by angle θ.
Ry(θ) = | cos(θ) 0 sin(θ) | | 0 1 0 | | -sin(θ) 0 cos(θ) |