1 - LocalCongruence.jl

LocalCongruence.jl is a Julia library that provides tools for managing local congruences of Chain Complexes.

The algorithms here presented are all official variation of those we proposed in Local congruence of chain complexes.

In particular, given a set of local chain complexes in LinearAlgebraicRepresentation standars, this Julia Module compute a the single corresponding global complex using $\epsilon$-congruence of cells, solving topologically the numerical inaccuracies of floating-point arithmetics.

The code is currently working as part of the Lar.Arrangment workflow.

Dependencies

LocalCongruence.jl has the following dependeces:

• DataStructures.jl
• GraphBLASInterface.jl
• LinearAlgebraicRepresentation
• NearestNeighbors.jl
• SparseArrays.jl
• SparseMM.jl
• SuiteSparseGraphBLAS

In addition CVD-Lab provides also ViewerGL, an OpenGL 3D interactive viewer adopted in the examples of this module

Installing

]add https://github.com/cvdlab/LocalCongruence.jl

Docstrings conventions

• Bold is used to point out theory concepts.
• Monospace is used for everything code related.