Function rot_x 

pub fn rot_x(theta: &Ex) -> Matrix

Rotation matrix about the x-axis by angle θ.

Rx(θ) = | 1    0       0    |
         | 0  cos(θ)  -sin(θ)|
         | 0  sin(θ)   cos(θ)|