This site contains the code used in the article "Infinitesimal rigidity for cubulated manifolds" that can be found on arxiv.

The file "Check_zigzag.ipynb" is a Jupyter file used for a proof as cited in the paper.

The file "Code_infinitesimal_rigidity.ipynb" is a Jupyter file used to get the combinatorics of the cube complex $C$ and the orientation of its edges given by a state.

The file "Matlab_code.zip" contains several MATLAB files with which we proved the infinitesimal rigidity. The main file is "Deepness_1emezzo_Zariski_tangent_general_Q4.m".