Mathematica computations used in the paper: The smoothness of the real projective deformation spaces of orderable Coxeter 3-polytopes, Suhyoung Choi, Seungyeol Park: File 1 (PDF version), File 2 (PDF version)