\contentsline {chapter}{\numberline {1}\leavevmode {\color {Chapter }Introduction}}{9}{chapter.1}
\contentsline {section}{\numberline {1.1}\leavevmode {\color {Chapter }Why \textsf {simpcomp}}}{9}{section.1.1}
\contentsline {section}{\numberline {1.2}\leavevmode {\color {Chapter }How to save time reading this document}}{9}{section.1.2}
\contentsline {section}{\numberline {1.3}\leavevmode {\color {Chapter }Organization of this document}}{10}{section.1.3}
\contentsline {section}{\numberline {1.4}\leavevmode {\color {Chapter }How to assure \textsf {simpcomp} works correctly}}{10}{section.1.4}
\contentsline {section}{\numberline {1.5}\leavevmode {\color {Chapter }How to cite \textsf {simpcomp}}}{11}{section.1.5}
\contentsline {chapter}{\numberline {2}\leavevmode {\color {Chapter }Theoretical foundations}}{12}{chapter.2}
\contentsline {section}{\numberline {2.1}\leavevmode {\color {Chapter }Polytopes and polytopal complexes}}{12}{section.2.1}
\contentsline {section}{\numberline {2.2}\leavevmode {\color {Chapter }Simplices and simplicial complexes}}{13}{section.2.2}
\contentsline {section}{\numberline {2.3}\leavevmode {\color {Chapter }From geometry to combinatorics}}{14}{section.2.3}
\contentsline {section}{\numberline {2.4}\leavevmode {\color {Chapter }Normal surfaces and combinatorial slicings}}{16}{section.2.4}
\contentsline {chapter}{\numberline {3}\leavevmode {\color {Chapter }The GAP object types SCSimplicicalComplex and SCNormalSurface}}{18}{chapter.3}
\contentsline {section}{\numberline {3.1}\leavevmode {\color {Chapter }The object types \texttt {SCSimplicialComplex} and \texttt {SCPropertyObject}}}{18}{section.3.1}
\contentsline {subsection}{\numberline {3.1.1}\leavevmode {\color {Chapter }SCIsSimplicialComplex}}{19}{subsection.3.1.1}
\contentsline {subsection}{\numberline {3.1.2}\leavevmode {\color {Chapter }SCCopy}}{19}{subsection.3.1.2}
\contentsline {subsection}{\numberline {3.1.3}\leavevmode {\color {Chapter }ShallowCopy (SCSimplicialComplex)}}{19}{subsection.3.1.3}
\contentsline {subsection}{\numberline {3.1.4}\leavevmode {\color {Chapter }SCForceRecalc}}{20}{subsection.3.1.4}
\contentsline {section}{\numberline {3.2}\leavevmode {\color {Chapter }Accessing properties of a \texttt {SCSimplicialComplex} object}}{20}{section.3.2}
\contentsline {section}{\numberline {3.3}\leavevmode {\color {Chapter }Overloaded operators of \texttt {SCSimplicialComplex}}}{21}{section.3.3}
\contentsline {subsection}{\numberline {3.3.1}\leavevmode {\color {Chapter }Operation + (SCSimplicialComplex, Integer)}}{21}{subsection.3.3.1}
\contentsline {subsection}{\numberline {3.3.2}\leavevmode {\color {Chapter }Operation - (SCSimplicialComplex, Integer)}}{21}{subsection.3.3.2}
\contentsline {subsection}{\numberline {3.3.3}\leavevmode {\color {Chapter }Operation mod (SCSimplicialComplex, Integer)}}{21}{subsection.3.3.3}
\contentsline {subsection}{\numberline {3.3.4}\leavevmode {\color {Chapter }Operation {\^{}} (SCSimplicialComplex, Integer)}}{22}{subsection.3.3.4}
\contentsline {subsection}{\numberline {3.3.5}\leavevmode {\color {Chapter }Operation + (SCSimplicialComplex, SCSimplicialComplex)}}{22}{subsection.3.3.5}
\contentsline {subsection}{\numberline {3.3.6}\leavevmode {\color {Chapter }Operation - (SCSimplicialComplex, SCSimplicialComplex)}}{22}{subsection.3.3.6}
\contentsline {subsection}{\numberline {3.3.7}\leavevmode {\color {Chapter }Operation * (SCSimplicialComplex, SCSimplicialComplex)}}{23}{subsection.3.3.7}
\contentsline {subsection}{\numberline {3.3.8}\leavevmode {\color {Chapter }Operation = (SCSimplicialComplex, SCSimplicialComplex)}}{23}{subsection.3.3.8}
\contentsline {subsection}{\numberline {3.3.9}\leavevmode {\color {Chapter }Operation Union (SCSimplicialComplex, SCSimplicialComplex)}}{23}{subsection.3.3.9}
\contentsline {subsection}{\numberline {3.3.10}\leavevmode {\color {Chapter }Operation Difference (SCSimplicialComplex, SCSimplicialComplex)}}{24}{subsection.3.3.10}
\contentsline {subsection}{\numberline {3.3.11}\leavevmode {\color {Chapter }Operation Intersection (SCSimplicialComplex, SCSimplicialComplex)}}{24}{subsection.3.3.11}
\contentsline {section}{\numberline {3.4}\leavevmode {\color {Chapter }\texttt {SCSimplicialComplex} as a subtype of \texttt {Set}}}{25}{section.3.4}
\contentsline {subsection}{\numberline {3.4.1}\leavevmode {\color {Chapter }Size (SCSimplicialComplex)}}{25}{subsection.3.4.1}
\contentsline {subsection}{\numberline {3.4.2}\leavevmode {\color {Chapter }Length (SCSimplicialComplex)}}{25}{subsection.3.4.2}
\contentsline {subsection}{\numberline {3.4.3}\leavevmode {\color {Chapter }Operation [] (SCSimplicialComplex)}}{25}{subsection.3.4.3}
\contentsline {subsection}{\numberline {3.4.4}\leavevmode {\color {Chapter }IsBound (SCSimplicialComplex)}}{26}{subsection.3.4.4}
\contentsline {subsection}{\numberline {3.4.5}\leavevmode {\color {Chapter }Iterator (SCSimplicialComplex)}}{26}{subsection.3.4.5}
\contentsline {section}{\numberline {3.5}\leavevmode {\color {Chapter }The object types \texttt {SCNormalSurface} as asubtyope of \texttt {SCPropertyObject}}}{26}{section.3.5}
\contentsline {section}{\numberline {3.6}\leavevmode {\color {Chapter }Overloaded operators of \texttt {SCNormalSurface}}}{27}{section.3.6}
\contentsline {subsection}{\numberline {3.6.1}\leavevmode {\color {Chapter }Operation + (SCNormalSurface, Integer)}}{27}{subsection.3.6.1}
\contentsline {subsection}{\numberline {3.6.2}\leavevmode {\color {Chapter }Operation - (SCNormalSurface, Integer)}}{27}{subsection.3.6.2}
\contentsline {subsection}{\numberline {3.6.3}\leavevmode {\color {Chapter }Operation mod (SCNormalSurface, Integer)}}{27}{subsection.3.6.3}
\contentsline {subsection}{\numberline {3.6.4}\leavevmode {\color {Chapter }Operation = (SCNormalSurface, SCNormalSurface)}}{28}{subsection.3.6.4}
\contentsline {subsection}{\numberline {3.6.5}\leavevmode {\color {Chapter }Operation Union (SCNormalSurface, SCNormalSurface)}}{28}{subsection.3.6.5}
\contentsline {section}{\numberline {3.7}\leavevmode {\color {Chapter }\texttt {SCNormalSurface} as a subtype of \texttt {Set}}}{29}{section.3.7}
\contentsline {chapter}{\numberline {4}\leavevmode {\color {Chapter }Functions for simplicial complexes}}{30}{chapter.4}
\contentsline {section}{\numberline {4.1}\leavevmode {\color {Chapter }Creating an \texttt {SCSimplicialComplex} object from a facet list}}{30}{section.4.1}
\contentsline {subsection}{\numberline {4.1.1}\leavevmode {\color {Chapter }SCFromFacets}}{30}{subsection.4.1.1}
\contentsline {subsection}{\numberline {4.1.2}\leavevmode {\color {Chapter }SC}}{31}{subsection.4.1.2}
\contentsline {subsection}{\numberline {4.1.3}\leavevmode {\color {Chapter }SCFromDifferenceCycles}}{31}{subsection.4.1.3}
\contentsline {subsection}{\numberline {4.1.4}\leavevmode {\color {Chapter }SCFromGenerators}}{32}{subsection.4.1.4}
\contentsline {section}{\numberline {4.2}\leavevmode {\color {Chapter }Generating some standard triangulations}}{32}{section.4.2}
\contentsline {subsection}{\numberline {4.2.1}\leavevmode {\color {Chapter }SCBdCrossPolytope}}{32}{subsection.4.2.1}
\contentsline {subsection}{\numberline {4.2.2}\leavevmode {\color {Chapter }SCBdSimplex}}{33}{subsection.4.2.2}
\contentsline {subsection}{\numberline {4.2.3}\leavevmode {\color {Chapter }SCEmpty}}{33}{subsection.4.2.3}
\contentsline {subsection}{\numberline {4.2.4}\leavevmode {\color {Chapter }SCSimplex}}{33}{subsection.4.2.4}
\contentsline {section}{\numberline {4.3}\leavevmode {\color {Chapter }Generating new complexes from old}}{34}{section.4.3}
\contentsline {subsection}{\numberline {4.3.1}\leavevmode {\color {Chapter }SCCartesianPower}}{34}{subsection.4.3.1}
\contentsline {subsection}{\numberline {4.3.2}\leavevmode {\color {Chapter }SCCartesianProduct}}{34}{subsection.4.3.2}
\contentsline {subsection}{\numberline {4.3.3}\leavevmode {\color {Chapter }SCConnectedComponents}}{35}{subsection.4.3.3}
\contentsline {subsection}{\numberline {4.3.4}\leavevmode {\color {Chapter }SCConnectedProduct}}{36}{subsection.4.3.4}
\contentsline {subsection}{\numberline {4.3.5}\leavevmode {\color {Chapter }SCConnectedSum}}{37}{subsection.4.3.5}
\contentsline {subsection}{\numberline {4.3.6}\leavevmode {\color {Chapter }SCConnectedSumMinus}}{38}{subsection.4.3.6}
\contentsline {subsection}{\numberline {4.3.7}\leavevmode {\color {Chapter }SCDifferenceCycleCompress}}{39}{subsection.4.3.7}
\contentsline {subsection}{\numberline {4.3.8}\leavevmode {\color {Chapter }SCDifferenceCycleExpand}}{39}{subsection.4.3.8}
\contentsline {subsection}{\numberline {4.3.9}\leavevmode {\color {Chapter }SCFVectorBdCrossPolytope}}{39}{subsection.4.3.9}
\contentsline {subsection}{\numberline {4.3.10}\leavevmode {\color {Chapter }SCFVectorBdSimplex}}{40}{subsection.4.3.10}
\contentsline {subsection}{\numberline {4.3.11}\leavevmode {\color {Chapter }SCStronglyConnectedComponents}}{41}{subsection.4.3.11}
\contentsline {section}{\numberline {4.4}\leavevmode {\color {Chapter }Vertex labelings and label operations}}{42}{section.4.4}
\contentsline {subsection}{\numberline {4.4.1}\leavevmode {\color {Chapter }SCLabelMax}}{42}{subsection.4.4.1}
\contentsline {subsection}{\numberline {4.4.2}\leavevmode {\color {Chapter }SCLabelMin}}{42}{subsection.4.4.2}
\contentsline {subsection}{\numberline {4.4.3}\leavevmode {\color {Chapter }SCLabels}}{43}{subsection.4.4.3}
\contentsline {subsection}{\numberline {4.4.4}\leavevmode {\color {Chapter }SCRelabel}}{43}{subsection.4.4.4}
\contentsline {subsection}{\numberline {4.4.5}\leavevmode {\color {Chapter }SCRelabelStandard}}{43}{subsection.4.4.5}
\contentsline {subsection}{\numberline {4.4.6}\leavevmode {\color {Chapter }SCRelabelTransposition}}{44}{subsection.4.4.6}
\contentsline {subsection}{\numberline {4.4.7}\leavevmode {\color {Chapter }SCRename}}{44}{subsection.4.4.7}
\contentsline {subsection}{\numberline {4.4.8}\leavevmode {\color {Chapter }SCSortComplex}}{44}{subsection.4.4.8}
\contentsline {subsection}{\numberline {4.4.9}\leavevmode {\color {Chapter }SCUnlabelFace}}{45}{subsection.4.4.9}
\contentsline {section}{\numberline {4.5}\leavevmode {\color {Chapter }Computing properties of simplicial complexes}}{46}{section.4.5}
\contentsline {subsection}{\numberline {4.5.1}\leavevmode {\color {Chapter }SCAltshulerSteinberg}}{46}{subsection.4.5.1}
\contentsline {subsection}{\numberline {4.5.2}\leavevmode {\color {Chapter }SCAutomorphismGroup}}{46}{subsection.4.5.2}
\contentsline {subsection}{\numberline {4.5.3}\leavevmode {\color {Chapter }SCAutomorphismGroupInternal}}{47}{subsection.4.5.3}
\contentsline {subsection}{\numberline {4.5.4}\leavevmode {\color {Chapter }SCBoundary}}{47}{subsection.4.5.4}
\contentsline {subsection}{\numberline {4.5.5}\leavevmode {\color {Chapter }SCDim}}{48}{subsection.4.5.5}
\contentsline {subsection}{\numberline {4.5.6}\leavevmode {\color {Chapter }SCDualGraph}}{48}{subsection.4.5.6}
\contentsline {subsection}{\numberline {4.5.7}\leavevmode {\color {Chapter }SCEulerCharacteristic}}{49}{subsection.4.5.7}
\contentsline {subsection}{\numberline {4.5.8}\leavevmode {\color {Chapter }SCFVector}}{49}{subsection.4.5.8}
\contentsline {subsection}{\numberline {4.5.9}\leavevmode {\color {Chapter }SCFaceLattice}}{50}{subsection.4.5.9}
\contentsline {subsection}{\numberline {4.5.10}\leavevmode {\color {Chapter }SCFaceLatticeEx}}{50}{subsection.4.5.10}
\contentsline {subsection}{\numberline {4.5.11}\leavevmode {\color {Chapter }SCFaces}}{50}{subsection.4.5.11}
\contentsline {subsection}{\numberline {4.5.12}\leavevmode {\color {Chapter }SCFacesEx}}{50}{subsection.4.5.12}
\contentsline {subsection}{\numberline {4.5.13}\leavevmode {\color {Chapter }SCFacets}}{50}{subsection.4.5.13}
\contentsline {subsection}{\numberline {4.5.14}\leavevmode {\color {Chapter }SCFacetsEx}}{51}{subsection.4.5.14}
\contentsline {subsection}{\numberline {4.5.15}\leavevmode {\color {Chapter }SCFpBettiNumbers}}{51}{subsection.4.5.15}
\contentsline {subsection}{\numberline {4.5.16}\leavevmode {\color {Chapter }SCFundamentalGroup}}{51}{subsection.4.5.16}
\contentsline {subsection}{\numberline {4.5.17}\leavevmode {\color {Chapter }SCGVector}}{52}{subsection.4.5.17}
\contentsline {subsection}{\numberline {4.5.18}\leavevmode {\color {Chapter }SCGenerators}}{52}{subsection.4.5.18}
\contentsline {subsection}{\numberline {4.5.19}\leavevmode {\color {Chapter }SCGeneratorsEx}}{53}{subsection.4.5.19}
\contentsline {subsection}{\numberline {4.5.20}\leavevmode {\color {Chapter }SCHVector}}{55}{subsection.4.5.20}
\contentsline {subsection}{\numberline {4.5.21}\leavevmode {\color {Chapter }SCHasBoundary}}{55}{subsection.4.5.21}
\contentsline {subsection}{\numberline {4.5.22}\leavevmode {\color {Chapter }SCHasInterior}}{55}{subsection.4.5.22}
\contentsline {subsection}{\numberline {4.5.23}\leavevmode {\color {Chapter }SCHomology}}{56}{subsection.4.5.23}
\contentsline {subsection}{\numberline {4.5.24}\leavevmode {\color {Chapter }SCIncidences}}{57}{subsection.4.5.24}
\contentsline {subsection}{\numberline {4.5.25}\leavevmode {\color {Chapter }SCIncidencesEx}}{57}{subsection.4.5.25}
\contentsline {subsection}{\numberline {4.5.26}\leavevmode {\color {Chapter }SCInterior}}{57}{subsection.4.5.26}
\contentsline {subsection}{\numberline {4.5.27}\leavevmode {\color {Chapter }SCIsCentrallySymmetric}}{58}{subsection.4.5.27}
\contentsline {subsection}{\numberline {4.5.28}\leavevmode {\color {Chapter }SCIsConnected}}{58}{subsection.4.5.28}
\contentsline {subsection}{\numberline {4.5.29}\leavevmode {\color {Chapter }SCIsEmpty}}{58}{subsection.4.5.29}
\contentsline {subsection}{\numberline {4.5.30}\leavevmode {\color {Chapter }SCIsEulerianManifold}}{59}{subsection.4.5.30}
\contentsline {subsection}{\numberline {4.5.31}\leavevmode {\color {Chapter }SCIsHomologySphere}}{59}{subsection.4.5.31}
\contentsline {subsection}{\numberline {4.5.32}\leavevmode {\color {Chapter }SCIsInKd}}{59}{subsection.4.5.32}
\contentsline {subsection}{\numberline {4.5.33}\leavevmode {\color {Chapter }SCIsKNeighborly}}{60}{subsection.4.5.33}
\contentsline {subsection}{\numberline {4.5.34}\leavevmode {\color {Chapter }SCIsOrientable}}{60}{subsection.4.5.34}
\contentsline {subsection}{\numberline {4.5.35}\leavevmode {\color {Chapter }SCIsPseudoManifold}}{60}{subsection.4.5.35}
\contentsline {subsection}{\numberline {4.5.36}\leavevmode {\color {Chapter }SCIsPure}}{61}{subsection.4.5.36}
\contentsline {subsection}{\numberline {4.5.37}\leavevmode {\color {Chapter }SCIsShellable}}{61}{subsection.4.5.37}
\contentsline {subsection}{\numberline {4.5.38}\leavevmode {\color {Chapter }SCIsStronglyConnected}}{61}{subsection.4.5.38}
\contentsline {subsection}{\numberline {4.5.39}\leavevmode {\color {Chapter }SCMinimalNonFaces}}{62}{subsection.4.5.39}
\contentsline {subsection}{\numberline {4.5.40}\leavevmode {\color {Chapter }SCMinimalNonFacesEx}}{62}{subsection.4.5.40}
\contentsline {subsection}{\numberline {4.5.41}\leavevmode {\color {Chapter }SCName}}{62}{subsection.4.5.41}
\contentsline {subsection}{\numberline {4.5.42}\leavevmode {\color {Chapter }SCNeighborliness}}{63}{subsection.4.5.42}
\contentsline {subsection}{\numberline {4.5.43}\leavevmode {\color {Chapter }SCNumFaces}}{63}{subsection.4.5.43}
\contentsline {subsection}{\numberline {4.5.44}\leavevmode {\color {Chapter }SCOrientation}}{63}{subsection.4.5.44}
\contentsline {subsection}{\numberline {4.5.45}\leavevmode {\color {Chapter }SCSkel}}{64}{subsection.4.5.45}
\contentsline {subsection}{\numberline {4.5.46}\leavevmode {\color {Chapter }SCSkelEx}}{64}{subsection.4.5.46}
\contentsline {subsection}{\numberline {4.5.47}\leavevmode {\color {Chapter }SCSpanningTree}}{65}{subsection.4.5.47}
\contentsline {subsection}{\numberline {4.5.48}\leavevmode {\color {Chapter }SCVertices}}{65}{subsection.4.5.48}
\contentsline {subsection}{\numberline {4.5.49}\leavevmode {\color {Chapter }SCVerticesEx}}{65}{subsection.4.5.49}
\contentsline {section}{\numberline {4.6}\leavevmode {\color {Chapter }Operations on simplicial complexes}}{66}{section.4.6}
\contentsline {subsection}{\numberline {4.6.1}\leavevmode {\color {Chapter }SCAlexanderDual}}{66}{subsection.4.6.1}
\contentsline {subsection}{\numberline {4.6.2}\leavevmode {\color {Chapter }SCCollapseGreedy}}{66}{subsection.4.6.2}
\contentsline {subsection}{\numberline {4.6.3}\leavevmode {\color {Chapter }SCCone}}{67}{subsection.4.6.3}
\contentsline {subsection}{\numberline {4.6.4}\leavevmode {\color {Chapter }SCDeletedJoin}}{67}{subsection.4.6.4}
\contentsline {subsection}{\numberline {4.6.5}\leavevmode {\color {Chapter }SCDifference}}{68}{subsection.4.6.5}
\contentsline {subsection}{\numberline {4.6.6}\leavevmode {\color {Chapter }SCHandleAddition}}{68}{subsection.4.6.6}
\contentsline {subsection}{\numberline {4.6.7}\leavevmode {\color {Chapter }SCIntersection}}{69}{subsection.4.6.7}
\contentsline {subsection}{\numberline {4.6.8}\leavevmode {\color {Chapter }SCIsIsomorphic}}{69}{subsection.4.6.8}
\contentsline {subsection}{\numberline {4.6.9}\leavevmode {\color {Chapter }SCIsSubcomplex}}{70}{subsection.4.6.9}
\contentsline {subsection}{\numberline {4.6.10}\leavevmode {\color {Chapter }SCIsomorphism}}{70}{subsection.4.6.10}
\contentsline {subsection}{\numberline {4.6.11}\leavevmode {\color {Chapter }SCIsomorphismEx}}{71}{subsection.4.6.11}
\contentsline {subsection}{\numberline {4.6.12}\leavevmode {\color {Chapter }SCJoin}}{71}{subsection.4.6.12}
\contentsline {subsection}{\numberline {4.6.13}\leavevmode {\color {Chapter }SCLink}}{72}{subsection.4.6.13}
\contentsline {subsection}{\numberline {4.6.14}\leavevmode {\color {Chapter }SCLinks}}{72}{subsection.4.6.14}
\contentsline {subsection}{\numberline {4.6.15}\leavevmode {\color {Chapter }SCNeighbors}}{73}{subsection.4.6.15}
\contentsline {subsection}{\numberline {4.6.16}\leavevmode {\color {Chapter }SCNeighborsEx}}{74}{subsection.4.6.16}
\contentsline {subsection}{\numberline {4.6.17}\leavevmode {\color {Chapter }SCShelling}}{74}{subsection.4.6.17}
\contentsline {subsection}{\numberline {4.6.18}\leavevmode {\color {Chapter }SCShellingExt}}{74}{subsection.4.6.18}
\contentsline {subsection}{\numberline {4.6.19}\leavevmode {\color {Chapter }SCShellings}}{75}{subsection.4.6.19}
\contentsline {subsection}{\numberline {4.6.20}\leavevmode {\color {Chapter }SCSpan}}{75}{subsection.4.6.20}
\contentsline {subsection}{\numberline {4.6.21}\leavevmode {\color {Chapter }SCStar}}{76}{subsection.4.6.21}
\contentsline {subsection}{\numberline {4.6.22}\leavevmode {\color {Chapter }SCStars}}{77}{subsection.4.6.22}
\contentsline {subsection}{\numberline {4.6.23}\leavevmode {\color {Chapter }SCSuspension}}{77}{subsection.4.6.23}
\contentsline {subsection}{\numberline {4.6.24}\leavevmode {\color {Chapter }SCUnion}}{78}{subsection.4.6.24}
\contentsline {subsection}{\numberline {4.6.25}\leavevmode {\color {Chapter }SCVertexIdentification}}{79}{subsection.4.6.25}
\contentsline {subsection}{\numberline {4.6.26}\leavevmode {\color {Chapter }SCWedge}}{79}{subsection.4.6.26}
\contentsline {chapter}{\numberline {5}\leavevmode {\color {Chapter }(Co-)Homology of simplicial complexes}}{80}{chapter.5}
\contentsline {section}{\numberline {5.1}\leavevmode {\color {Chapter }Homology computation}}{80}{section.5.1}
\contentsline {subsection}{\numberline {5.1.1}\leavevmode {\color {Chapter }SCBoundaryOperatorMatrix}}{80}{subsection.5.1.1}
\contentsline {subsection}{\numberline {5.1.2}\leavevmode {\color {Chapter }SCBoundarySimplex}}{80}{subsection.5.1.2}
\contentsline {subsection}{\numberline {5.1.3}\leavevmode {\color {Chapter }SCHomologyBasis}}{81}{subsection.5.1.3}
\contentsline {subsection}{\numberline {5.1.4}\leavevmode {\color {Chapter }SCHomologyBasisAsSimplices}}{81}{subsection.5.1.4}
\contentsline {subsection}{\numberline {5.1.5}\leavevmode {\color {Chapter }SCHomologyInternal}}{82}{subsection.5.1.5}
\contentsline {section}{\numberline {5.2}\leavevmode {\color {Chapter }Cohomology computation}}{82}{section.5.2}
\contentsline {subsection}{\numberline {5.2.1}\leavevmode {\color {Chapter }SCCoboundaryOperatorMatrix}}{82}{subsection.5.2.1}
\contentsline {subsection}{\numberline {5.2.2}\leavevmode {\color {Chapter }SCCohomology}}{82}{subsection.5.2.2}
\contentsline {subsection}{\numberline {5.2.3}\leavevmode {\color {Chapter }SCCohomologyBasis}}{83}{subsection.5.2.3}
\contentsline {subsection}{\numberline {5.2.4}\leavevmode {\color {Chapter }SCCohomologyBasisAsSimplices}}{84}{subsection.5.2.4}
\contentsline {subsection}{\numberline {5.2.5}\leavevmode {\color {Chapter }SCCupProduct}}{85}{subsection.5.2.5}
\contentsline {subsection}{\numberline {5.2.6}\leavevmode {\color {Chapter }SCIntersectionForm}}{85}{subsection.5.2.6}
\contentsline {subsection}{\numberline {5.2.7}\leavevmode {\color {Chapter }SCIntersectionFormParity}}{86}{subsection.5.2.7}
\contentsline {subsection}{\numberline {5.2.8}\leavevmode {\color {Chapter }SCIntersectionFormDimensionality}}{86}{subsection.5.2.8}
\contentsline {subsection}{\numberline {5.2.9}\leavevmode {\color {Chapter }SCIntersectionFormSignature}}{87}{subsection.5.2.9}
\contentsline {chapter}{\numberline {6}\leavevmode {\color {Chapter }Bistellar flips}}{88}{chapter.6}
\contentsline {section}{\numberline {6.1}\leavevmode {\color {Chapter }Theory}}{88}{section.6.1}
\contentsline {section}{\numberline {6.2}\leavevmode {\color {Chapter }Functions for bistellar flips}}{88}{section.6.2}
\contentsline {subsection}{\numberline {6.2.1}\leavevmode {\color {Chapter }SCBistellarOptions}}{88}{subsection.6.2.1}
\contentsline {subsection}{\numberline {6.2.2}\leavevmode {\color {Chapter }SCEquivalent}}{89}{subsection.6.2.2}
\contentsline {subsection}{\numberline {6.2.3}\leavevmode {\color {Chapter }SCExamineComplexBistellar}}{90}{subsection.6.2.3}
\contentsline {subsection}{\numberline {6.2.4}\leavevmode {\color {Chapter }SCIntFunc.SCChooseMove}}{90}{subsection.6.2.4}
\contentsline {subsection}{\numberline {6.2.5}\leavevmode {\color {Chapter }SCIsKStackedSphere}}{91}{subsection.6.2.5}
\contentsline {subsection}{\numberline {6.2.6}\leavevmode {\color {Chapter }SCIsManifold}}{92}{subsection.6.2.6}
\contentsline {subsection}{\numberline {6.2.7}\leavevmode {\color {Chapter }SCIsMovableComplex}}{92}{subsection.6.2.7}
\contentsline {subsection}{\numberline {6.2.8}\leavevmode {\color {Chapter }SCMove}}{92}{subsection.6.2.8}
\contentsline {subsection}{\numberline {6.2.9}\leavevmode {\color {Chapter }SCMoves}}{93}{subsection.6.2.9}
\contentsline {subsection}{\numberline {6.2.10}\leavevmode {\color {Chapter }SCRMoves}}{94}{subsection.6.2.10}
\contentsline {subsection}{\numberline {6.2.11}\leavevmode {\color {Chapter }SCReduceAsSubcomplex}}{94}{subsection.6.2.11}
\contentsline {subsection}{\numberline {6.2.12}\leavevmode {\color {Chapter }SCReduceComplex}}{95}{subsection.6.2.12}
\contentsline {subsection}{\numberline {6.2.13}\leavevmode {\color {Chapter }SCReduceComplexEx}}{95}{subsection.6.2.13}
\contentsline {chapter}{\numberline {7}\leavevmode {\color {Chapter }Functions for normal surfaces}}{97}{chapter.7}
\contentsline {section}{\numberline {7.1}\leavevmode {\color {Chapter }Creating an \texttt {SCNormalSurface} object}}{97}{section.7.1}
\contentsline {subsection}{\numberline {7.1.1}\leavevmode {\color {Chapter }SCNSEmpty}}{97}{subsection.7.1.1}
\contentsline {subsection}{\numberline {7.1.2}\leavevmode {\color {Chapter }SCNSFromFacets}}{97}{subsection.7.1.2}
\contentsline {subsection}{\numberline {7.1.3}\leavevmode {\color {Chapter }SCNS}}{98}{subsection.7.1.3}
\contentsline {subsection}{\numberline {7.1.4}\leavevmode {\color {Chapter }SCNSSlicing}}{98}{subsection.7.1.4}
\contentsline {section}{\numberline {7.2}\leavevmode {\color {Chapter }Generating new objects from normal surfaces}}{99}{section.7.2}
\contentsline {subsection}{\numberline {7.2.1}\leavevmode {\color {Chapter }SCNSCopy}}{99}{subsection.7.2.1}
\contentsline {subsection}{\numberline {7.2.2}\leavevmode {\color {Chapter }SCNSSubdivision}}{100}{subsection.7.2.2}
\contentsline {section}{\numberline {7.3}\leavevmode {\color {Chapter }Properties of \texttt {SCNormalSurface} objects}}{100}{section.7.3}
\contentsline {subsection}{\numberline {7.3.1}\leavevmode {\color {Chapter }SCNSDim}}{101}{subsection.7.3.1}
\contentsline {subsection}{\numberline {7.3.2}\leavevmode {\color {Chapter }SCNSEulerCharacteristic}}{101}{subsection.7.3.2}
\contentsline {subsection}{\numberline {7.3.3}\leavevmode {\color {Chapter }SCNSFVector}}{101}{subsection.7.3.3}
\contentsline {subsection}{\numberline {7.3.4}\leavevmode {\color {Chapter }SCNSFaceLattice}}{102}{subsection.7.3.4}
\contentsline {subsection}{\numberline {7.3.5}\leavevmode {\color {Chapter }SCNSFaceLatticeEx}}{102}{subsection.7.3.5}
\contentsline {subsection}{\numberline {7.3.6}\leavevmode {\color {Chapter }SCNSFpBettiNumbers}}{103}{subsection.7.3.6}
\contentsline {subsection}{\numberline {7.3.7}\leavevmode {\color {Chapter }SCNSGenus}}{103}{subsection.7.3.7}
\contentsline {subsection}{\numberline {7.3.8}\leavevmode {\color {Chapter }SCNSHomology}}{103}{subsection.7.3.8}
\contentsline {subsection}{\numberline {7.3.9}\leavevmode {\color {Chapter }SCNSSkel}}{104}{subsection.7.3.9}
\contentsline {subsection}{\numberline {7.3.10}\leavevmode {\color {Chapter }SCNSSkelEx}}{104}{subsection.7.3.10}
\contentsline {subsection}{\numberline {7.3.11}\leavevmode {\color {Chapter }SCNSTopologicalType}}{105}{subsection.7.3.11}
\contentsline {chapter}{\numberline {8}\leavevmode {\color {Chapter }Library and I/O}}{107}{chapter.8}
\contentsline {section}{\numberline {8.1}\leavevmode {\color {Chapter }Simplicial complex library}}{107}{section.8.1}
\contentsline {subsection}{\numberline {8.1.1}\leavevmode {\color {Chapter }SCIsLibRepository}}{107}{subsection.8.1.1}
\contentsline {subsection}{\numberline {8.1.2}\leavevmode {\color {Chapter }SCLib}}{107}{subsection.8.1.2}
\contentsline {subsection}{\numberline {8.1.3}\leavevmode {\color {Chapter }SCLibAdd}}{109}{subsection.8.1.3}
\contentsline {subsection}{\numberline {8.1.4}\leavevmode {\color {Chapter }SCLibAllComplexes}}{109}{subsection.8.1.4}
\contentsline {subsection}{\numberline {8.1.5}\leavevmode {\color {Chapter }SCLibDelete}}{109}{subsection.8.1.5}
\contentsline {subsection}{\numberline {8.1.6}\leavevmode {\color {Chapter }SCLibDetermineTopologicalType}}{110}{subsection.8.1.6}
\contentsline {subsection}{\numberline {8.1.7}\leavevmode {\color {Chapter }SCLibFlush}}{111}{subsection.8.1.7}
\contentsline {subsection}{\numberline {8.1.8}\leavevmode {\color {Chapter }SCLibInit}}{111}{subsection.8.1.8}
\contentsline {subsection}{\numberline {8.1.9}\leavevmode {\color {Chapter }SCLibIsLoaded}}{111}{subsection.8.1.9}
\contentsline {subsection}{\numberline {8.1.10}\leavevmode {\color {Chapter }SCLibSearchByAttribute}}{112}{subsection.8.1.10}
\contentsline {subsection}{\numberline {8.1.11}\leavevmode {\color {Chapter }SCLibSearchByName}}{112}{subsection.8.1.11}
\contentsline {subsection}{\numberline {8.1.12}\leavevmode {\color {Chapter }SCLibSize}}{112}{subsection.8.1.12}
\contentsline {subsection}{\numberline {8.1.13}\leavevmode {\color {Chapter }SCLibUpdate}}{113}{subsection.8.1.13}
\contentsline {subsection}{\numberline {8.1.14}\leavevmode {\color {Chapter }SCLibStatus}}{113}{subsection.8.1.14}
\contentsline {section}{\numberline {8.2}\leavevmode {\color {Chapter }\textsf {simpcomp} input / output functions}}{114}{section.8.2}
\contentsline {subsection}{\numberline {8.2.1}\leavevmode {\color {Chapter }SCLoad}}{114}{subsection.8.2.1}
\contentsline {subsection}{\numberline {8.2.2}\leavevmode {\color {Chapter }SCSave}}{114}{subsection.8.2.2}
\contentsline {subsection}{\numberline {8.2.3}\leavevmode {\color {Chapter }SCExportPolymake}}{115}{subsection.8.2.3}
\contentsline {subsection}{\numberline {8.2.4}\leavevmode {\color {Chapter }SCImportPolymake}}{115}{subsection.8.2.4}
\contentsline {subsection}{\numberline {8.2.5}\leavevmode {\color {Chapter }SCExportLatexTable}}{115}{subsection.8.2.5}
\contentsline {subsection}{\numberline {8.2.6}\leavevmode {\color {Chapter }SCExportJavaView}}{116}{subsection.8.2.6}
\contentsline {chapter}{\numberline {9}\leavevmode {\color {Chapter }Miscellaneous functions}}{117}{chapter.9}
\contentsline {section}{\numberline {9.1}\leavevmode {\color {Chapter }\textsf {simpcomp} error handling}}{117}{section.9.1}
\contentsline {subsection}{\numberline {9.1.1}\leavevmode {\color {Chapter }SCErrorBreak}}{117}{subsection.9.1.1}
\contentsline {subsection}{\numberline {9.1.2}\leavevmode {\color {Chapter }SCErrorMail}}{117}{subsection.9.1.2}
\contentsline {section}{\numberline {9.2}\leavevmode {\color {Chapter }Email notification system}}{117}{section.9.2}
\contentsline {subsection}{\numberline {9.2.1}\leavevmode {\color {Chapter }SCMailClearPending}}{118}{subsection.9.2.1}
\contentsline {subsection}{\numberline {9.2.2}\leavevmode {\color {Chapter }SCMailIsEnabled}}{118}{subsection.9.2.2}
\contentsline {subsection}{\numberline {9.2.3}\leavevmode {\color {Chapter }SCMailIsPending}}{118}{subsection.9.2.3}
\contentsline {subsection}{\numberline {9.2.4}\leavevmode {\color {Chapter }SCMailSend}}{118}{subsection.9.2.4}
\contentsline {subsection}{\numberline {9.2.5}\leavevmode {\color {Chapter }SCMailSendPending}}{119}{subsection.9.2.5}
\contentsline {subsection}{\numberline {9.2.6}\leavevmode {\color {Chapter }SCMailSetAddress}}{119}{subsection.9.2.6}
\contentsline {subsection}{\numberline {9.2.7}\leavevmode {\color {Chapter }SCMailSetEnabled}}{119}{subsection.9.2.7}
\contentsline {subsection}{\numberline {9.2.8}\leavevmode {\color {Chapter }SCMailSetMinInterval}}{119}{subsection.9.2.8}
\contentsline {section}{\numberline {9.3}\leavevmode {\color {Chapter }Testing the functionality of \textsf {simpcomp}}}{120}{section.9.3}
\contentsline {subsection}{\numberline {9.3.1}\leavevmode {\color {Chapter }SCRunTest}}{120}{subsection.9.3.1}
\contentsline {chapter}{\numberline {10}\leavevmode {\color {Chapter }Property handlers}}{121}{chapter.10}
\contentsline {section}{\numberline {10.1}\leavevmode {\color {Chapter }Property handlers of a \texttt {SCSimplicialComplex}}}{121}{section.10.1}
\contentsline {section}{\numberline {10.2}\leavevmode {\color {Chapter }Property handlers of a \texttt {SCNormalSurface}}}{125}{section.10.2}
\contentsline {chapter}{\numberline {11}\leavevmode {\color {Chapter }A demo session with SimpComp}}{126}{chapter.11}
\contentsline {section}{\numberline {11.1}\leavevmode {\color {Chapter }Creating a \texttt {SCSimplicialComplex} object}}{126}{section.11.1}
\contentsline {section}{\numberline {11.2}\leavevmode {\color {Chapter }Working with a \texttt {SCSimplicialComplex} object}}{127}{section.11.2}
\contentsline {section}{\numberline {11.3}\leavevmode {\color {Chapter }Calculating properties of a \texttt {SCSimplicialComplex} object}}{127}{section.11.3}
\contentsline {section}{\numberline {11.4}\leavevmode {\color {Chapter }Creating new complexes from a \texttt {SCSimplicialComplex} object}}{129}{section.11.4}
\contentsline {section}{\numberline {11.5}\leavevmode {\color {Chapter }Homology related calculations}}{130}{section.11.5}
\contentsline {section}{\numberline {11.6}\leavevmode {\color {Chapter }Bistellar flips}}{132}{section.11.6}
\contentsline {chapter}{\numberline {12}\leavevmode {\color {Chapter }\textsf {simpcomp} internals}}{135}{chapter.12}
\contentsline {section}{\numberline {12.1}\leavevmode {\color {Chapter }Example of a common property handler}}{135}{section.12.1}
\contentsline {section}{\numberline {12.2}\leavevmode {\color {Chapter }Writing a property handler}}{136}{section.12.2}
