regina 7.3.1.1__cp38-cp38-macosx_11_0_x86_64.whl

regina/sageRegina/testsuite/callbacks.out

@@ -0,0 +1,515 @@
+Poincare homology sphere -> display, height = 1, threads = 1
+    fvPQcdecedekrsnrs 5
+    gvLQQcdfefefjwawtbi 6
+Poincare homology sphere -> display, height = 1, threads = 2
+    fvPQcdecedekrsnrs 5
+    gvLQQcdfefefjwawtbi 6
+Poincare homology sphere -> stop after 10, height = 1, threads = 1
+    search ran to completion, count: 2
+Poincare homology sphere -> stop after 10, height = 1, threads = 2
+    search ran to completion, count: 2
+Poincare homology sphere -> collect, height = 1, threads = 1
+    fvPQcdecedekrsnrs
+    gvLQQcdfefefjwawtbi
+Poincare homology sphere -> collect, height = 1, threads = 2
+    fvPQcdecedekrsnrs
+    gvLQQcdfefefjwawtbi
+Poincare homology sphere vs Poincare homology sphere -> isomorphisms, stop after 5
+    search terminated early, count: 5
+Poincare homology sphere vs Poincare homology sphere -> subcomplexes, stop after 5
+    search terminated early, count: 5
+
+Weeks manifold -> display, height = 0, threads = 1
+    jvLPLQQefghghifiigaxxhdingk 9
+Weeks manifold -> display, height = 0, threads = 2
+    jvLPLQQefghghifiigaxxhdingk 9
+Weeks manifold -> stop after 10, height = 1, threads = 1
+    search terminated early, count: 10
+Weeks manifold -> stop after 10, height = 1, threads = 2
+    search terminated early, count: 10
+Weeks manifold -> collect, height = 0, threads = 1
+    jvLPLQQefghghifiigaxxhdingk
+Weeks manifold -> collect, height = 0, threads = 2
+    jvLPLQQefghghifiigaxxhdingk
+Weeks manifold vs Weeks manifold -> isomorphisms, display
+0 -> 0 (0123)
+1 -> 1 (0123)
+2 -> 2 (0123)
+3 -> 3 (0123)
+4 -> 4 (0123)
+5 -> 5 (0123)
+6 -> 6 (0123)
+7 -> 7 (0123)
+8 -> 8 (0123)
+
+Weeks manifold vs Weeks manifold -> subcomplexes, display
+0 -> 0 (0123)
+1 -> 1 (0123)
+2 -> 2 (0123)
+3 -> 3 (0123)
+4 -> 4 (0123)
+5 -> 5 (0123)
+6 -> 6 (0123)
+7 -> 7 (0123)
+8 -> 8 (0123)
+
+Weeks manifold vs Weeks manifold -> isomorphisms, stop after 5
+    search ran to completion, count: 1
+Weeks manifold vs Weeks manifold -> subcomplexes, stop after 5
+    search ran to completion, count: 1
+
+Cappell-Shaneson knot complement -> display, height = 0, threads = 1
+    cMkabbb+aAa3blb 2
+Cappell-Shaneson knot complement -> display, height = 0, threads = 2
+    cMkabbb+aAa3blb 2
+Cappell-Shaneson knot complement -> stop after 10, height = 2, threads = 1
+    search ran to completion, count: 9
+Cappell-Shaneson knot complement -> stop after 10, height = 2, threads = 2
+    search ran to completion, count: 9
+Cappell-Shaneson knot complement -> collect, height = 2, threads = 1
+    cMkabbb+aAa3blb
+    eLMQcbbccdddaaaa+axbcbvaGa
+    eLMQcbbccdddaaaa1aHbCbvaYa
+    eLMQcbbccdddaaaa1aHbKavapb
+    eLMQcbbccdddaaaaHbka2avawa
+    eLMQcbbcddddaaaa+aJa2aGava
+    eLMQcbbdccddaaaa1bHbibvafb
+    eLMQcbccddddMaobyayaPbKava
+    eLMQcbccddddObJbxbtb5albva
+Cappell-Shaneson knot complement -> collect, height = 2, threads = 2
+    cMkabbb+aAa3blb
+    eLMQcbbccdddaaaa+axbcbvaGa
+    eLMQcbbccdddaaaa1aHbCbvaYa
+    eLMQcbbccdddaaaa1aHbKavapb
+    eLMQcbbccdddaaaaHbka2avawa
+    eLMQcbbcddddaaaa+aJa2aGava
+    eLMQcbbdccddaaaa1bHbibvafb
+    eLMQcbccddddMaobyayaPbKava
+    eLMQcbccddddObJbxbtb5albva
+Cappell-Shaneson knot complement vs Cappell-Shaneson knot complement -> isomorphisms, display
+0 -> 0 (01234)
+1 -> 1 (01234)
+
+0 -> 1 (43210)
+1 -> 0 (43210)
+
+Cappell-Shaneson knot complement vs Cappell-Shaneson knot complement -> subcomplexes, display
+0 -> 0 (01234)
+1 -> 1 (01234)
+
+0 -> 1 (43210)
+1 -> 0 (43210)
+
+Cappell-Shaneson knot complement vs Cappell-Shaneson knot complement -> isomorphisms, stop after 5
+    search ran to completion, count: 2
+Cappell-Shaneson knot complement vs Cappell-Shaneson knot complement -> subcomplexes, stop after 5
+    search ran to completion, count: 2
+
+LST(1,2,3) vs L(8,3) -> isomorphisms, display
+LST(1,2,3) vs L(8,3) -> subcomplexes, display
+0 -> 0 (2310)
+
+0 -> 0 (3201)
+
+0 -> 1 (0123)
+
+0 -> 1 (1032)
+
+LST(1,2,3) vs L(8,3) -> isomorphisms, stop after 5
+    search ran to completion, count: 0
+LST(1,2,3) vs L(8,3) -> subcomplexes, stop after 5
+    search ran to completion, count: 4
+
+Trefoil -> display, height = 0, threads = 1
+    dabcabcv- 3
+Trefoil -> display, height = 0, threads = 2
+    dabcabcv- 3
+
+Figure eight knot -> stop after 10, height = 1, threads = 1
+    search ran to completion, count: 8
+Figure eight knot -> stop after 10, height = 1, threads = 2
+    search ran to completion, count: 8
+Figure eight knot -> collect, height = 1, threads = 1
+    eabcdbadcvbZa
+    faabcdbedcePkBg
+    faabcdbedcePkNj
+    faabcdbedcevfBg
+    faabcdbedcevfNj
+    faabcdecbedPkpd
+    faabcdecbedvfpd
+    fabcadebcedtg5m
+Figure eight knot -> collect, height = 1, threads = 2
+    eabcdbadcvbZa
+    faabcdbedcePkBg
+    faabcdbedcePkNj
+    faabcdbedcevfBg
+    faabcdbedcevfNj
+    faabcdecbedPkpd
+    faabcdecbedvfpd
+    fabcadebcedtg5m
+
+Monster unknot -> stop after 10, height = 1, threads = 1
+    search terminated early, count: 10
+Monster unknot -> stop after 10, height = 1, threads = 2
+    search terminated early, count: 10
+
+Trefoil -> all covers, sheets = 2
+    CoverType.cyclic_cover: Z + Z_3
+Trefoil -> all covers, sheets = 3
+    CoverType.irregular_cover: 2 Z
+    CoverType.cyclic_cover: Z + 2 Z_2
+Trefoil -> all covers, sheets = 4
+    CoverType.irregular_cover: 2 Z
+    CoverType.irregular_cover: Z + Z_2
+    CoverType.cyclic_cover: Z + Z_3
+Trefoil -> all covers, sheets = 5
+    CoverType.cyclic_cover: Z
+    CoverType.irregular_cover: Z + Z_3
+
+Enumerating facet pairings:
+    0:1 0:0 1:0 1:1 | 0:2 0:3 2:0 2:1 | 1:2 1:3 2:3 2:2  -> automorphisms:  32
+    0:1 0:0 1:0 2:0 | 0:2 1:2 1:1 2:1 | 0:3 1:3 2:3 2:2  -> automorphisms:  48
+    0:1 0:0 1:0 2:0 | 0:2 2:1 2:2 2:3 | 0:3 1:1 1:2 1:3  -> automorphisms:  24
+    1:0 1:1 2:0 2:1 | 0:0 0:1 2:2 2:3 | 0:2 0:3 1:2 1:3  -> automorphisms:  48
+    0:1 0:0 0:3 0:2 1:0 1:1 | 0:4 0:5 1:3 1:2 1:5 1:4  -> automorphisms:  256
+    0:1 0:0 1:0 1:1 1:2 1:3 | 0:2 0:3 0:4 0:5 1:5 1:4  -> automorphisms:  192
+    1:0 1:1 1:2 1:3 1:4 1:5 | 0:0 0:1 0:2 0:3 0:4 0:5  -> automorphisms:  1440
+
+Enumerating splitting surface signatures:
+    (aabbcc)  -> automorphisms:  6
+    (aabcbc)  -> automorphisms:  2
+    (aabccb)  -> automorphisms:  4
+    (abacbc)  -> automorphisms:  4
+    (abcabc)  -> automorphisms:  6
+    (aabbc)(c)  -> automorphisms:  2
+    (aabcb)(c)  -> automorphisms:  2
+    (ababc)(c)  -> automorphisms:  2
+    (aabc)(bc)  -> automorphisms:  2
+    (aabc)(b)(c)  -> automorphisms:  2
+    (abac)(bc)  -> automorphisms:  4
+    (abac)(b)(c)  -> automorphisms:  4
+    (aab)(bcc)  -> automorphisms:  4
+    (aab)(bc)(c)  -> automorphisms:  2
+    (abc)(abc)  -> automorphisms:  6
+    (abc)(acb)  -> automorphisms:  12
+    (abc)(ab)(c)  -> automorphisms:  2
+    (abc)(a)(b)(c)  -> automorphisms:  6
+    (ab)(ac)(bc)  -> automorphisms:  12
+    (ab)(ac)(b)(c)  -> automorphisms:  4
+
+Enumerating knots:
+    +++-++ ( ^0 ^1 _4 ^5 _2 _0 _3 ^2 _1 ^4 _5 ^3 )
+    ++-+++ ( ^0 ^1 _4 ^5 ^2 _0 ^3 _2 _1 ^4 _5 _3 )
+    +-+--- ( ^0 _1 ^4 _5 _2 _0 _3 ^2 ^1 _4 ^5 ^3 )
+    +--+-- ( ^0 _1 ^4 _5 ^2 _0 ^3 _2 ^1 _4 ^5 _3 )
+
+Finding regions:
+Saturated region:
+  Blocks:
+    0. Tri(major) {0,1,2}, 3 annuli
+    1. Mobius(vert) {triangle 2}, reflected(H), 1 annulus
+    2. Mobius(vert) {triangle 1}, reflected(H), 1 annulus
+  Adjacencies:
+    0/0 --> 1/0
+    0/1 --> bdry
+    0/2 --> 2/0
+    1/0 --> 0/0
+    2/0 --> 0/2
+
+Saturated region:
+  Blocks:
+    0. Tri(major) {0,1,2}, 3 annuli
+  Adjacencies:
+    0/0 --> 0/2 (reflected)
+    0/1 --> bdry
+    0/2 --> 0/0 (reflected)
+
+Saturated region:
+  Blocks:
+    0. Tri(major) {0,2,1}, 3 annuli
+  Adjacencies:
+    0/0 --> 0/2 (reflected)
+    0/1 --> bdry
+    0/2 --> 0/0 (reflected)
+
+Saturated region:
+  Blocks:
+    0. Tri(major) {0,2,1}, 3 annuli
+    1. Mobius(vert) {triangle 1}, reflected(H), 1 annulus
+    2. Mobius(vert) {triangle 2}, reflected(H), 1 annulus
+  Adjacencies:
+    0/0 --> 1/0
+    0/1 --> bdry
+    0/2 --> 2/0
+    1/0 --> 0/0
+    2/0 --> 0/2
+
+Saturated region:
+  Blocks:
+    0. Tri(major) {1,0,2}, 3 annuli
+    1. Mobius(vert) {triangle 2}, reflected(H), 1 annulus
+    2. Mobius(vert) {triangle 1}, reflected(H), 1 annulus
+  Adjacencies:
+    0/0 --> 1/0
+    0/1 --> 2/0
+    0/2 --> bdry
+    1/0 --> 0/0
+    2/0 --> 0/1
+
+Saturated region:
+  Blocks:
+    0. Tri(major) {1,0,2}, 3 annuli
+  Adjacencies:
+    0/0 --> 0/1 (reflected)
+    0/1 --> 0/0 (reflected)
+    0/2 --> bdry
+
+Saturated region:
+  Blocks:
+    0. Tri(major) {1,2,0}, 3 annuli
+    1. Mobius(vert) {triangle 1}, reflected(H), 1 annulus
+    2. Mobius(vert) {triangle 2}, reflected(H), 1 annulus
+  Adjacencies:
+    0/0 --> bdry
+    0/1 --> 1/0
+    0/2 --> 2/0
+    1/0 --> 0/1
+    2/0 --> 0/2
+
+Saturated region:
+  Blocks:
+    0. Tri(major) {1,2,0}, 3 annuli
+  Adjacencies:
+    0/0 --> bdry
+    0/1 --> 0/2 (reflected)
+    0/2 --> 0/1 (reflected)
+
+Saturated region:
+  Blocks:
+    0. Tri(major) {2,0,1}, 3 annuli
+    1. Mobius(vert) {triangle 1}, reflected(H), 1 annulus
+    2. Mobius(vert) {triangle 2}, reflected(H), 1 annulus
+  Adjacencies:
+    0/0 --> 1/0
+    0/1 --> 2/0
+    0/2 --> bdry
+    1/0 --> 0/0
+    2/0 --> 0/1
+
+Saturated region:
+  Blocks:
+    0. Tri(major) {2,0,1}, 3 annuli
+  Adjacencies:
+    0/0 --> 0/1 (reflected)
+    0/1 --> 0/0 (reflected)
+    0/2 --> bdry
+
+Saturated region:
+  Blocks:
+    0. Tri(major) {2,1,0}, 3 annuli
+    1. Mobius(vert) {triangle 2}, reflected(H), 1 annulus
+    2. Mobius(vert) {triangle 1}, reflected(H), 1 annulus
+  Adjacencies:
+    0/0 --> bdry
+    0/1 --> 1/0
+    0/2 --> 2/0
+    1/0 --> 0/1
+    2/0 --> 0/2
+
+Saturated region:
+  Blocks:
+    0. Tri(major) {2,1,0}, 3 annuli
+  Adjacencies:
+    0/0 --> bdry
+    0/1 --> 0/2 (reflected)
+    0/2 --> 0/1 (reflected)
+
+Saturated region:
+  Blocks:
+    0. Tri(major) {3,5,4}, 3 annuli
+    1. Mobius(vert) {triangle 7}, reflected(H), 1 annulus
+  Adjacencies:
+    0/0 --> 1/0
+    0/1 --> bdry
+    0/2 --> bdry
+    1/0 --> 0/0
+
+Saturated region:
+  Blocks:
+    0. Tri(major) {3,4,5}, 3 annuli
+    1. Mobius(vert) {triangle 7}, reflected(H), 1 annulus
+  Adjacencies:
+    0/0 --> bdry
+    0/1 --> bdry
+    0/2 --> 1/0
+    1/0 --> 0/2
+
+Saturated region:
+  Blocks:
+    0. Tri(major) {4,5,3}, 3 annuli
+    1. Mobius(vert) {triangle 7}, reflected(H), 1 annulus
+  Adjacencies:
+    0/0 --> bdry
+    0/1 --> 1/0
+    0/2 --> bdry
+    1/0 --> 0/1
+
+Saturated region:
+  Blocks:
+    0. Tri(major) {4,3,5}, 3 annuli
+    1. Mobius(vert) {triangle 7}, reflected(H), 1 annulus
+  Adjacencies:
+    0/0 --> bdry
+    0/1 --> 1/0
+    0/2 --> bdry
+    1/0 --> 0/1
+
+Saturated region:
+  Blocks:
+    0. Tri(major) {5,3,4}, 3 annuli
+    1. Mobius(vert) {triangle 7}, reflected(H), 1 annulus
+  Adjacencies:
+    0/0 --> 1/0
+    0/1 --> bdry
+    0/2 --> bdry
+    1/0 --> 0/0
+
+Saturated region:
+  Blocks:
+    0. Tri(major) {5,4,3}, 3 annuli
+    1. Mobius(vert) {triangle 7}, reflected(H), 1 annulus
+  Adjacencies:
+    0/0 --> bdry
+    0/1 --> bdry
+    0/2 --> 1/0
+    1/0 --> 0/2
+
+Saturated region:
+  Blocks:
+    0. Tri(major) {6,8,7}, 3 annuli
+  Adjacencies:
+    0/0 --> 0/1 (reflected)
+    0/1 --> 0/0 (reflected)
+    0/2 --> bdry
+
+Saturated region:
+  Blocks:
+    0. Tri(major) {6,7,8}, 3 annuli
+  Adjacencies:
+    0/0 --> bdry
+    0/1 --> 0/2 (reflected)
+    0/2 --> 0/1 (reflected)
+
+Saturated region:
+  Blocks:
+    0. Tri(major) {6,7,8}, 3 annuli
+    1. Mobius(vert) {triangle 16}, reflected(H), 1 annulus
+    2. Mobius(vert) {triangle 15}, reflected(H), 1 annulus
+  Adjacencies:
+    0/0 --> bdry
+    0/1 --> 1/0
+    0/2 --> 2/0
+    1/0 --> 0/1
+    2/0 --> 0/2
+
+Saturated region:
+  Blocks:
+    0. Tri(major) {6,8,7}, 3 annuli
+    1. Mobius(vert) {triangle 15}, reflected(H), 1 annulus
+    2. Mobius(vert) {triangle 16}, reflected(H), 1 annulus
+  Adjacencies:
+    0/0 --> 1/0
+    0/1 --> 2/0
+    0/2 --> bdry
+    1/0 --> 0/0
+    2/0 --> 0/1
+
+Saturated region:
+  Blocks:
+    0. Tri(major) {7,8,6}, 3 annuli
+    1. Mobius(vert) {triangle 16}, reflected(H), 1 annulus
+    2. Mobius(vert) {triangle 15}, reflected(H), 1 annulus
+  Adjacencies:
+    0/0 --> 1/0
+    0/1 --> 2/0
+    0/2 --> bdry
+    1/0 --> 0/0
+    2/0 --> 0/1
+
+Saturated region:
+  Blocks:
+    0. Tri(major) {7,6,8}, 3 annuli
+    1. Mobius(vert) {triangle 15}, reflected(H), 1 annulus
+    2. Mobius(vert) {triangle 16}, reflected(H), 1 annulus
+  Adjacencies:
+    0/0 --> bdry
+    0/1 --> 1/0
+    0/2 --> 2/0
+    1/0 --> 0/1
+    2/0 --> 0/2
+
+Saturated region:
+  Blocks:
+    0. Tri(major) {7,6,8}, 3 annuli
+  Adjacencies:
+    0/0 --> bdry
+    0/1 --> 0/2 (reflected)
+    0/2 --> 0/1 (reflected)
+
+Saturated region:
+  Blocks:
+    0. Tri(major) {7,8,6}, 3 annuli
+  Adjacencies:
+    0/0 --> 0/1 (reflected)
+    0/1 --> 0/0 (reflected)
+    0/2 --> bdry
+
+Saturated region:
+  Blocks:
+    0. Tri(major) {8,6,7}, 3 annuli
+  Adjacencies:
+    0/0 --> 0/2 (reflected)
+    0/1 --> bdry
+    0/2 --> 0/0 (reflected)
+
+Saturated region:
+  Blocks:
+    0. Tri(major) {8,6,7}, 3 annuli
+    1. Mobius(vert) {triangle 15}, reflected(H), 1 annulus
+    2. Mobius(vert) {triangle 16}, reflected(H), 1 annulus
+  Adjacencies:
+    0/0 --> 1/0
+    0/1 --> bdry
+    0/2 --> 2/0
+    1/0 --> 0/0
+    2/0 --> 0/2
+
+Saturated region:
+  Blocks:
+    0. Tri(major) {8,7,6}, 3 annuli
+    1. Mobius(vert) {triangle 16}, reflected(H), 1 annulus
+    2. Mobius(vert) {triangle 15}, reflected(H), 1 annulus
+  Adjacencies:
+    0/0 --> 1/0
+    0/1 --> bdry
+    0/2 --> 2/0
+    1/0 --> 0/0
+    2/0 --> 0/2
+
+Saturated region:
+  Blocks:
+    0. Tri(major) {8,7,6}, 3 annuli
+  Adjacencies:
+    0/0 --> 0/2 (reflected)
+    0/1 --> bdry
+    0/2 --> 0/0 (reflected)
+
+
+Enumerating covers:
+  mLvALvQQQceegjlkjiljklhhahhaaaghahg CoverType.irregular_cover
+  mLvALvQQQceegjlkjiljklhhahhaaaghahg CoverType.irregular_cover
+  mLvwMMMPQbegfijhkkklllhaahbabhhahbg CoverType.cyclic_cover
+  mLvwMMMPQbegfijhkkklllhaahbabhhahbg CoverType.cyclic_cover
+  mvLALPzQQdefeghhjkllklbbabbbbbhhhhb CoverType.cyclic_cover
+  mvLALPzQQdefeghhjkllklbbabbbbbhhhhb CoverType.cyclic_cover
+