Conley: Computing connection matrices in Maple
arXiv:math/0701173 · doi:10.1016/j.jsc.2007.07.021
Abstract
In this work we announce the Maple package conley to compute connection and C-connection matrices. conley is based on our abstract homological algebra package homalg. We emphasize that the notion of braids is irrelevant for the definition and for the computation of such matrices. We introduce the notion of triangles that suffices to state the definition of (C)-connection matrices. The notion of octahedra, which is equivalent to that of braids is also introduced.
conley is based on the package homalg: math.AC/0701146, corrected the false "counter example"