Utilizes the open-source exact linear algebra library LinBox for Smith normal form computations. Uses these TDA methods to compute the cubical homology of grids obtained from cellular automata.