Haraway, Robert, III; Hoffman, Neil R. (2019-07-02)
We show that the problem of showing that a cusped 3-manifold M is not hyperbolic is in NP, assuming S3-RECOGNITION is in coNP. To this end, we show that IRREDUCIBLE TOROIDAL RECOGNITION lies in NP. Along the way we ...