Sheafhom: Software for sparse integer matrices

Research output: Contribution to journalArticlepeer-review


Sheafhom is a free software package for large-scale computations in the category of finitely-generated modules over the integers and related rings. Its front end is a language for problems in algebraic topology and geometry. These problems come down to sparse systems of linear equations over the integers. Sheafhom's back end solves the sparse systems, with emphasis on avoiding fill-in and integer explosion. We survey and compare algorithms for integer sparse matrices, and we present implementation techniques in Common Lisp. The final section finds the quotient of the free abelian group on 26 letters by sets of words in the dictionary, in the spirit of [14].

Original languageEnglish (US)
Pages (from-to)307-322
Number of pages16
JournalPure and Applied Mathematics Quarterly
Issue number1
StatePublished - 2007
Externally publishedYes

All Science Journal Classification (ASJC) codes

  • General Mathematics


Dive into the research topics of 'Sheafhom: Software for sparse integer matrices'. Together they form a unique fingerprint.

Cite this