An algorithm for acylindrical surfaces in 3-manifolds (Q1598356)

From MaRDI portal
scientific article
Language Label Description Also known as
English
An algorithm for acylindrical surfaces in 3-manifolds
scientific article

    Statements

    An algorithm for acylindrical surfaces in 3-manifolds (English)
    0 references
    0 references
    13 April 2003
    0 references
    The author presents an algorithm to decide if an orientable atoroidal 3-manifold contains closed incompressible acylindrical surfaces and to construct them if they exist. The algorithm uses normal surface theory. To prove that the algorithm stops after a finite number of steps, the author shows that each acylindrical surface is isotopic to an edge surface.
    0 references
    0 references
    3-manifolds
    0 references
    incompressible surfaces
    0 references
    edge surfaces
    0 references
    normal surface theory
    0 references
    algorithm
    0 references
    0 references