The ChainCon Software (Release 0.03)
File List
Here is a list of all files with brief descriptions:
[detail level 12]
  chaincon
 algcell.hAn abstract algebraic cell
 ammodel.hComputation of the algebraic minimal model using the SNF
 atmodel.hAlgebraic topological model computation: An interface to all the algorithms available in this package
 atmodel0.hAlgebraic topological model computation: Algorithm 0, very slow; combinatorial version - for coefficients in Z_2
 atmodel1.hAlgebraic topological model computation: Algorithm 1, new version, but still without computing the transpose of the projection; combinatorial version - for coefficients in Z_2
 atmodel2.hAlgebraic topological model computation: Algorithm 2, new version, with computing the transpose of the projection (faster); combinatorial version - for coefficients in Z_2
 atmodel2r.hAlgebraic topological model computation: Algorithm 2, new version, with computing the transpose of the projection (faster); version for an arbitrary commutative ring of coefficients
 atmodel3.hAlgebraic topological model computation: Algorithm 3, using the SNF; combinatorial version - for coefficients in Z_2
 atmodel3r.hAlgebraic topological model computation: Algorithm 3, using the SNF; version for an arbitrary commutative ring of coefficients
 atmodel4r.hAlgebraic topological model computation: Algorithm 4, using the SNF; version for an arbitrary commutative ring of coefficients
 awdiag.hAlexander-Whitney diagonal of a chain
 awdiagcub.hA cubical version of the Alexander-Whitney diagonal
 awdiagcubs.hA cubical version of the Alexander-Whitney diagonal, based on simplicial subdivision of cubical cells
 awdiagsim.hA simplicial version of the Alexander-Whitney diagonal
 awdiagsimgen.hA version of the Alexander-Whitney diagonal for general simplicial sets
 boundary.hBoundary computation at the level of chains of cells
 cellnames.hA class for naming cells for nice text data output
 chain.hA chain with coefficients in an arbitrary commutative ring
 combchain.hA combinatorial chain, that is, a chain with Z_2 coefficients
 comblinmap.hA combinatorial linear map (for coefficients in Z_2)
 combtensor.hA combinatorial tensor (for coefficients in Z_2)
 cring.hComputation of the cohomology ring
 cubcell.hA cubical cell
 cubproduct.hA function that converts a cubical cell into a simplicial set that corresponds to the cartesian product of intervals
 emptycell.hThe decision on whether the empty cell should be used as a valid cell of dimension -1
 euclwrap.hA wrapper of a generic coefficient type for the CHomP library
 extarray.hAn extendible array
 ez_aw.hThe Alexander-Whitney operator as a component of the Eilenberg-Zilber chain contraction
 ez_eml.hThe Eilenberg-Mac Lane operator as a component of the Eilenberg-Zilber chain contraction
 ez_shi.hThe Shih operator as a component of the Eilenberg-Zilber chain contraction
 filtcomplex.hA filtered cell complex
 homcohom.hComputation of the (co)homology groups of an algebraic minimal model
 linmap.hA linear map for coefficients in an arbitrary commutative ring
 pair.hA pair of elements
 prodcell.hA Cartesian product of simplicial cells of arbitrary type
 readfcompl.hA generic procedure for reading a filtered cell complex or a pair of filtered cell complexes from text files
 remordered.hA utility procedure for removing an ordered set from another ordered set
 ringz2.hElements of the ring Z_2
 ringzp.hElements of the ring Z_p
 setfilter.hA function that creates a filter from a set of cells of different dimensions
 shuffles.hAn iterator of shuffles
 simplex.hA simplex class with arbitrary vertices
 simplset.hA simplicial set
 snf.hThis file includes a specific interface to an SNF computation algorithm
 snfchomp.hAn interface to the SNF computation using the CHomP software package
 ssquarescub.hComputation of the Steenrod squares for cubical cells
 ssquaressim.hComputation of the Steenrod squares for simplicial cells
 stringhash.hHashing keys for std::string
 tensor.hA tensor of chains with coefficients in an arbitrary commutative ring
 wrapping.hTools for coordinate wrapping, a.k.a
 ammodcomp.hA generic procedure for the computation of an algebraic minimal model of a filtered cell complex stored in a file
 ammodcub.cppA program for the computation of algebraic minimal models for cubical sets
 ammodmain.hThe main function of a program for computing the minimal model of a cellular complex of a given type
 ammodsim.cppA program for the computation of algebraic minimal models for simplicial complexes
 atmodcomp.hA generic procedure for the computation of chain contraction of a filtered cell complex stored in a file
 atmodcub.cppA program for the computation of cubical algebraic topological model
 atmodmain.hThe main procedure for a program for the computation of an algebraic topological model
 atmodsim.cppA program for the computation of simplicial algebraic topological model
 awdiag1cub.cppA program for the computation of the Alexander-Whitney diagonal for a single cubical cell
 awdiag1sim.cppA program for the computation of the Alexander-Whitney diagonal for a single simplex
 awdiag2dcomp.hA generic procedure for the Alexander-Whithey diagonal computation for 2-dimensional homology generators
 awdiag2dcub.cppA program for the computation of the Alexander-Whitney diagonal for cubical complexes, using Serre's formula
 awdiag2dcubs.cppA program for the computation of the Alexander-Whitney diagonal for cubical complexes, using simplicial subdivision
 awdiag2dmain.hThe main procedure of a generic program for the computation of the Alexander-Whitney diagonal
 awdiag2dsim.cppA program for the computation of the Alexander-Whitney diagonal for simplicial complexes
 cringcomp.hA generic procedure for the computation of the cohomology ring structure for an algebraic minimal model
 cringcub.cppA program for the computation of the cohomology ring structure with the cup product, using algebraic minimal models for cubical sets
 cringmain.hThe main function of a program for computing the cubical cohomology ring of a cellular complex of a given type
 cringsim.cppA program for the computation of the cohomology ring structure with the cup product, using algebraic minimal models for simplicial complexes
 cub2sim.cppA program that saves a simplicial set obtained from a cubical set by means of simplicial subdivision
 cubsimprod.cppAn experimental program for the computation of certain invariants of cubical sets represented by means of simplicial product sets
 emptycell.cppA global variable of the settable decision class on whether the empty cell should be used as a valid cell of dimension -1
 experiment1.cppA program for experimentation with the formula for the A-W diagonal
 experiment2.cppA program for experimentation with the formulas for the E-Z chain contraction: AW, EML, SHI
 mainpage.hThe main page for the source code documentation
 ssqcomp.hA generic procedure for the computation of the Steenrod squares for an algebraic topological model
 ssqcub.cppA program for the computation of the Steenrod squares, using algebraic minimal models for cubical sets and the direct formula by Marek Krcal
 ssqcubs.cppA program for the computation of the Steenrod squares, using algebraic minimal models for cubical sets
 ssqmain.hThe main function of a program for computing the Steenrod squares of a simplicial complex or a cubical complex
 ssqsim.cppA program for the computation of the Steenrod squares, using algebraic minimal models for simplicial complexes
 testshuffles.cppA simple program for showing the shuffles