DMT.gd

################################################################################
##
##  simpcomp / DMT.gd
##
##  Functions for discrete Morse theory, manifold recognition 
##  and simply connectivity testing
##
##  $Id$
##
################################################################################
## <#GAPDoc Label="DMT">
## 
## In this chapter a framework is provided to use Forman's discrete Morse 
## theory <Cite Key="Forman95DiscrMorseTheoryCellCompl" />
## within  <Package>simpcomp</Package>. See Section <Ref Chap="sec:DMT" /> 
## for a brief introduction.<P/>
##
## Note: this is not to be confused with Banchoff and Kühnel's theory of 
## regular simplexwise linear functions which is described in Chapter 
## <Ref Chap="chap:morse" />.<P/>
##
## <Section>
## <Heading>Functions using discrete Morse theory</Heading>
##
## <#Include Label="SCCollapseGreedy"/>
## <#Include Label="SCCollapseLex"/>
## <#Include Label="SCCollapseRevLex"/>
## <#Include Label="SCHasseDiagram"/>
## <#Include Label="SCMorseEngstroem"/>
## <#Include Label="SCMorseRandom"/>
## <#Include Label="SCMorseRandomLex"/>
## <#Include Label="SCMorseRandomRevLex"/>
## <#Include Label="SCMorseSpec"/>
## <#Include Label="SCMorseUST"/>
## <#Include Label="SCSpanningTreeRandom"/>
## <#Include Label="SCHomology"/>
## <#Include Label="SCHomologyEx"/>
## <#Include Label="SCIsSimplyConnected"/>
## <#Include Label="SCIsSimplyConnectedEx"/>
## <#Include Label="SCIsSphere"/>
## <#Include Label="SCIsManifold"/>
## <#Include Label="SCIsManifoldEx"/>
##
## </Section>
##<#/GAPDoc>