Sheafhom 2.0 is a freeware package for large sparse linear algebra computations over the integers and other exact number types. It provides efficient algorithms for the Smith normal form of sparse matrices, and dense algorithms for LLL and Hermite normal form. Graphs and windows are provided to show the progress of the computation in real time, which helps in tuning the algorithms for specific applications. The package is motivated by algebraic topology, and provides partial support for items from category theory as first-class objects: vector spaces, morphisms of vector spaces, and cochain complexes.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element