Quelle class3mflds.gd Sprache: Shell

################################################################################
##
##  simpcomp / class3mflds.gd
##
##  Classification of combinatorial 3-manifolds with transitive cyclic symmetry
##  and up to 22 vertices.
##
##  $Id$
##
################################################################################

## GAPDoc include
## <#GAPDoc Label="class3mflds">
## <Section Label="sec:ClassOf3Mflds">
## <Heading>The classification of cyclic combinatorial 3-manifolds</Heading>
##
##  This section contains functions to access the classification of
## combinatorial 3-manifolds with transitive cyclic symmetry
##  and up to 22 vertices as presented in <Cite Key="Spreer11CyclicCombMflds"/>.
##
## <#Include Label="SCNrCyclic3Mflds"/>
## <#Include Label="SCCyclic3MfldTopTypes"/>
## <#Include Label="SCCyclic3Mfld"/>
## <#Include Label="SCCyclic3MfldByType"/>
## <#Include Label="SCCyclic3MfldListOfGivenType"/>
## </Section>
## <#/GAPDoc>

DeclareGlobalFunction("SCNrCyclic3Mflds");
DeclareGlobalFunction("SCCyclic3MfldTopTypes");
DeclareGlobalFunction("SCCyclic3Mfld");
DeclareGlobalFunction("SCCyclic3MfldByType");
DeclareGlobalFunction("SCCyclic3MfldListOfGivenType");

¤ Dauer der Verarbeitung: 0.1 Sekunden (vorverarbeitet am 2026-11-03) ¤

Wurzel

Suchen

PVS Prover

Isabelle Prover

Cephes Mathematical Library

Vienna Development Method

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.