From feaa13586fa885828f5a46d175fcfd118e13f476 Mon Sep 17 00:00:00 2001 From: Isaac Ren <35449880+th-rtyf-re@users.noreply.github.com> Date: Tue, 19 Jul 2022 04:02:56 +0200 Subject: [PATCH] Fixed erroneous tabulation (#16) * Made it so all regression tests run, not just the first one. * Correct incorrect nu values --- python_src/HFK_data.json | 10 +++++----- python_src/test.py | 2 +- 2 files changed, 6 insertions(+), 6 deletions(-) diff --git a/python_src/HFK_data.json b/python_src/HFK_data.json index 01c88ee..84dcad8 100644 --- a/python_src/HFK_data.json +++ b/python_src/HFK_data.json @@ -3,12 +3,12 @@ {"fibered": true, "tau": 5, "nu": 5, "epsilon": 1, "L_space_knot": true, "seifert_genus": 5, "total_rank": 9, "ranks": {"(-5, -10)": 1, "(-4, -9)": 1, "(-2, -6)": 1, "(-1, -5)": 1, "(0, -4)": 1, "(1, -3)": 1, "(2, -2)": 1, "(4, -1)": 1, "(5, 0)": 1}, "modulus": 2, "name": "K12n242", "PD_code": [[20, 12, 21, 11], [12, 22, 13, 21], [3, 1, 4, 0], [18, 10, 19, 9], [8, 18, 9, 17], [7, 3, 8, 2], [14, 0, 15, 23], [16, 6, 17, 5], [4, 16, 5, 15], [22, 14, 23, 13], [1, 7, 2, 6], [10, 20, 11, 19]]}, {"fibered": true, "tau": 6, "nu": 6, "epsilon": 1, "L_space_knot": true, "seifert_genus": 6, "total_rank": 11, "ranks": {"(-6, -12)": 1, "(-5, -11)": 1, "(-3, -8)": 1, "(-2, -7)": 1, "(-1, -6)": 1, "(0, -5)": 1, "(1, -4)": 1, "(2, -3)": 1, "(3, -2)": 1, "(5, -1)": 1, "(6, 0)": 1}, "modulus": 2, "name": "K14n6022", "PD_code": [[18, 6, 19, 5], [3, 1, 4, 0], [4, 18, 5, 17], [7, 3, 8, 2], [10, 22, 11, 21], [22, 12, 23, 11], [26, 16, 27, 15], [8, 20, 9, 19], [12, 24, 13, 23], [16, 0, 17, 27], [20, 10, 21, 9], [1, 7, 2, 6], [14, 26, 15, 25], [24, 14, 25, 13]]}, {"fibered": false, "tau": 2, "nu": 2, "epsilon": 1, "L_space_knot": false, "seifert_genus": 3, "total_rank": 333, "ranks": {"(-3, -5)": 8, "(-2, -4)": 38, "(-1, -3)": 75, "(0, -2)": 91, "(1, -1)": 75, "(2, 0)": 38, "(3, 1)": 8}, "modulus": 2, "name": "K14a12333", "PD_code": [[15, 2, 16, 3], [9, 23, 10, 22], [3, 1, 4, 0], [17, 7, 18, 6], [23, 11, 24, 10], [11, 21, 12, 20], [13, 27, 14, 26], [7, 25, 8, 24], [19, 5, 20, 4], [27, 13, 0, 12], [1, 16, 2, 17], [25, 15, 26, 14], [5, 19, 6, 18], [21, 9, 22, 8]]}, -{"fibered": false, "tau": -2, "nu": -2, "epsilon": -1, "L_space_knot": false, "seifert_genus": 4, "total_rank": 553, "ranks": {"(-4, -2)": 5, "(-3, -1)": 26, "(-2, 0)": 68, "(-1, 1)": 112, "(0, 2)": 131, "(1, 3)": 112, "(2, 4)": 68, "(3, 5)": 26, "(4, 6)": 5}, "modulus": 2, "name": "K14a14097", "PD_code": [[21, 12, 22, 13], [27, 18, 0, 19], [11, 20, 12, 21], [23, 8, 24, 9], [13, 22, 14, 23], [3, 10, 4, 11], [1, 17, 2, 16], [5, 1, 6, 0], [15, 6, 16, 7], [9, 2, 10, 3], [25, 14, 26, 15], [7, 24, 8, 25], [19, 26, 20, 27], [17, 5, 18, 4]]}, -{"fibered": false, "tau": -2, "nu": -2, "epsilon": -1, "L_space_knot": false, "seifert_genus": 4, "total_rank": 337, "ranks": {"(-4, -2)": 4, "(-3, -1)": 19, "(-2, 0)": 44, "(-1, 1)": 65, "(0, 2)": 73, "(1, 3)": 65, "(2, 4)": 44, "(3, 5)": 19, "(4, 6)": 4}, "modulus": 2, "name": "K14a14276", "PD_code": [[27, 7, 0, 6], [21, 12, 22, 13], [23, 14, 24, 15], [19, 24, 20, 25], [7, 27, 8, 26], [25, 18, 26, 19], [13, 22, 14, 23], [15, 8, 16, 9], [3, 10, 4, 11], [1, 17, 2, 16], [5, 1, 6, 0], [9, 2, 10, 3], [11, 20, 12, 21], [17, 5, 18, 4]]}, -{"fibered": true, "tau": -1, "nu": -1, "epsilon": -1, "L_space_knot": false, "seifert_genus": 5, "total_rank": 591, "ranks": {"(-5, -4)": 1, "(-4, -3)": 9, "(-3, -2)": 33, "(-2, -1)": 73, "(-1, 0)": 114, "(0, 1)": 131, "(1, 2)": 114, "(2, 3)": 73, "(3, 4)": 33, "(4, 5)": 9, "(5, 6)": 1}, "modulus": 2, "name": "K14a15168", "PD_code": [[27, 7, 0, 6], [9, 22, 10, 23], [15, 25, 16, 24], [11, 2, 12, 3], [1, 18, 2, 19], [23, 15, 24, 14], [13, 5, 14, 4], [21, 8, 22, 9], [7, 20, 8, 21], [25, 10, 26, 11], [19, 26, 20, 27], [5, 1, 6, 0], [17, 12, 18, 13], [3, 17, 4, 16]]}, +{"fibered": false, "tau": -2, "nu": -1, "epsilon": -1, "L_space_knot": false, "seifert_genus": 4, "total_rank": 553, "ranks": {"(-4, -2)": 5, "(-3, -1)": 26, "(-2, 0)": 68, "(-1, 1)": 112, "(0, 2)": 131, "(1, 3)": 112, "(2, 4)": 68, "(3, 5)": 26, "(4, 6)": 5}, "modulus": 2, "name": "K14a14097", "PD_code": [[21, 12, 22, 13], [27, 18, 0, 19], [11, 20, 12, 21], [23, 8, 24, 9], [13, 22, 14, 23], [3, 10, 4, 11], [1, 17, 2, 16], [5, 1, 6, 0], [15, 6, 16, 7], [9, 2, 10, 3], [25, 14, 26, 15], [7, 24, 8, 25], [19, 26, 20, 27], [17, 5, 18, 4]]}, +{"fibered": false, "tau": -2, "nu": -1, "epsilon": -1, "L_space_knot": false, "seifert_genus": 4, "total_rank": 337, "ranks": {"(-4, -2)": 4, "(-3, -1)": 19, "(-2, 0)": 44, "(-1, 1)": 65, "(0, 2)": 73, "(1, 3)": 65, "(2, 4)": 44, "(3, 5)": 19, "(4, 6)": 4}, "modulus": 2, "name": "K14a14276", "PD_code": [[27, 7, 0, 6], [21, 12, 22, 13], [23, 14, 24, 15], [19, 24, 20, 25], [7, 27, 8, 26], [25, 18, 26, 19], [13, 22, 14, 23], [15, 8, 16, 9], [3, 10, 4, 11], [1, 17, 2, 16], [5, 1, 6, 0], [9, 2, 10, 3], [11, 20, 12, 21], [17, 5, 18, 4]]}, +{"fibered": true, "tau": -1, "nu": 0, "epsilon": -1, "L_space_knot": false, "seifert_genus": 5, "total_rank": 591, "ranks": {"(-5, -4)": 1, "(-4, -3)": 9, "(-3, -2)": 33, "(-2, -1)": 73, "(-1, 0)": 114, "(0, 1)": 131, "(1, 2)": 114, "(2, 3)": 73, "(3, 4)": 33, "(4, 5)": 9, "(5, 6)": 1}, "modulus": 2, "name": "K14a15168", "PD_code": [[27, 7, 0, 6], [9, 22, 10, 23], [15, 25, 16, 24], [11, 2, 12, 3], [1, 18, 2, 19], [23, 15, 24, 14], [13, 5, 14, 4], [21, 8, 22, 9], [7, 20, 8, 21], [25, 10, 26, 11], [19, 26, 20, 27], [5, 1, 6, 0], [17, 12, 18, 13], [3, 17, 4, 16]]}, {"fibered": false, "tau": 0, "nu": 0, "epsilon": 0, "L_space_knot": false, "seifert_genus": 4, "total_rank": 517, "ranks": {"(-4, -4)": 2, "(-3, -3)": 18, "(-2, -2)": 59, "(-1, -1)": 111, "(0, 0)": 137, "(1, 1)": 111, "(2, 2)": 59, "(3, 3)": 18, "(4, 4)": 2}, "modulus": 2, "name": "K14a15849", "PD_code": [[27, 7, 0, 6], [17, 9, 18, 8], [9, 24, 10, 25], [15, 22, 16, 23], [11, 2, 12, 3], [23, 14, 24, 15], [13, 26, 14, 27], [3, 19, 4, 18], [1, 12, 2, 13], [19, 5, 20, 4], [25, 10, 26, 11], [5, 1, 6, 0], [21, 16, 22, 17], [7, 21, 8, 20]]}, {"fibered": false, "tau": 1, "nu": 1, "epsilon": 1, "L_space_knot": false, "seifert_genus": 4, "total_rank": 483, "ranks": {"(-4, -5)": 2, "(-3, -4)": 15, "(-2, -3)": 52, "(-1, -2)": 106, "(0, -1)": 133, "(1, 0)": 106, "(2, 1)": 52, "(3, 2)": 15, "(4, 3)": 2}, "modulus": 2, "name": "K14a2692", "PD_code": [[13, 7, 14, 6], [21, 24, 22, 25], [7, 17, 8, 16], [3, 1, 4, 0], [15, 23, 16, 22], [23, 15, 24, 14], [25, 20, 26, 21], [1, 9, 2, 8], [11, 4, 12, 5], [19, 26, 20, 27], [17, 13, 18, 12], [9, 3, 10, 2], [5, 18, 6, 19], [27, 10, 0, 11]]}, -{"fibered": false, "tau": -1, "nu": -1, "epsilon": -1, "L_space_knot": false, "seifert_genus": 4, "total_rank": 659, "ranks": {"(-4, -3)": 3, "(-3, -2)": 22, "(-2, -1)": 73, "(-1, 0)": 143, "(0, 1)": 177, "(1, 2)": 143, "(2, 3)": 73, "(3, 4)": 22, "(4, 5)": 3}, "modulus": 2, "name": "K14a4177", "PD_code": [[3, 1, 4, 0], [25, 12, 26, 13], [5, 16, 6, 17], [23, 18, 24, 19], [15, 4, 16, 5], [21, 9, 22, 8], [7, 21, 8, 20], [11, 7, 12, 6], [27, 22, 0, 23], [19, 26, 20, 27], [9, 2, 10, 3], [17, 14, 18, 15], [1, 10, 2, 11], [13, 24, 14, 25]]}, +{"fibered": false, "tau": -1, "nu": 0, "epsilon": -1, "L_space_knot": false, "seifert_genus": 4, "total_rank": 659, "ranks": {"(-4, -3)": 3, "(-3, -2)": 22, "(-2, -1)": 73, "(-1, 0)": 143, "(0, 1)": 177, "(1, 2)": 143, "(2, 3)": 73, "(3, 4)": 22, "(4, 5)": 3}, "modulus": 2, "name": "K14a4177", "PD_code": [[3, 1, 4, 0], [25, 12, 26, 13], [5, 16, 6, 17], [23, 18, 24, 19], [15, 4, 16, 5], [21, 9, 22, 8], [7, 21, 8, 20], [11, 7, 12, 6], [27, 22, 0, 23], [19, 26, 20, 27], [9, 2, 10, 3], [17, 14, 18, 15], [1, 10, 2, 11], [13, 24, 14, 25]]}, {"fibered": false, "tau": 4, "nu": 4, "epsilon": 1, "L_space_knot": false, "seifert_genus": 5, "total_rank": 229, "ranks": {"(-5, -9)": 2, "(-4, -8)": 9, "(-3, -7)": 19, "(-2, -6)": 29, "(-1, -5)": 36, "(0, -4)": 39, "(1, -3)": 36, "(2, -2)": 29, "(3, -1)": 19, "(4, 0)": 9, "(5, 1)": 2}, "modulus": 2, "name": "K14a7627", "PD_code": [[3, 1, 4, 0], [11, 3, 12, 2], [7, 13, 8, 12], [21, 6, 22, 7], [13, 9, 14, 8], [9, 15, 10, 14], [27, 21, 0, 20], [15, 5, 16, 4], [17, 25, 18, 24], [23, 17, 24, 16], [19, 27, 20, 26], [5, 22, 6, 23], [25, 19, 26, 18], [1, 11, 2, 10]]}, {"fibered": false, "tau": -1, "nu": 0, "epsilon": -1, "L_space_knot": false, "seifert_genus": 4, "total_rank": 311, "ranks": {"(-4, -3)": 2, "(-3, -2)": 13, "(-2, -1)": 37, "(-1, 0)": 65, "(0, 1)": 77, "(1, 2)": 65, "(2, 3)": 37, "(3, 4)": 13, "(4, 5)": 2}, "modulus": 2, "name": "K14n26615", "PD_code": [[15, 2, 16, 3], [20, 7, 21, 8], [9, 5, 10, 4], [11, 24, 12, 25], [27, 10, 0, 11], [1, 9, 2, 8], [23, 12, 24, 13], [13, 22, 14, 23], [6, 21, 7, 22], [19, 14, 20, 15], [17, 27, 18, 26], [5, 1, 6, 0], [25, 19, 26, 18], [3, 16, 4, 17]]}, {"fibered": false, "tau": 1, "nu": 1, "epsilon": 1, "L_space_knot": false, "seifert_genus": 3, "total_rank": 207, "ranks": {"(-3, -4)": 4, "(-2, -3)": 22, "(-1, -2)": 48, "(0, -1)": 59, "(1, 0)": 48, "(2, 1)": 22, "(3, 2)": 4}, "modulus": 2, "name": "K14n7193", "PD_code": [[3, 1, 4, 0], [14, 21, 15, 22], [16, 26, 17, 25], [20, 6, 21, 5], [6, 18, 7, 17], [11, 5, 12, 4], [26, 16, 27, 15], [8, 20, 9, 19], [12, 23, 13, 24], [22, 13, 23, 14], [18, 8, 19, 7], [9, 2, 10, 3], [24, 27, 25, 0], [1, 10, 2, 11]]}, @@ -18,7 +18,7 @@ {"fibered": true, "tau": 0, "nu": 0, "epsilon": 0, "L_space_knot": false, "seifert_genus": 5, "total_rank": 957, "ranks": {"(-5, -5)": 1, "(-4, -4)": 11, "(-3, -3)": 46, "(-2, -2)": 115, "(-1, -1)": 192, "(0, 0)": 227, "(1, 1)": 192, "(2, 2)": 115, "(3, 3)": 46, "(4, 4)": 11, "(5, 5)": 1}, "modulus": 2, "name": "K15a32814", "PD_code": [[29, 22, 0, 23], [1, 11, 2, 10], [27, 7, 28, 6], [3, 1, 4, 0], [21, 12, 22, 13], [11, 3, 12, 2], [19, 17, 20, 16], [7, 27, 8, 26], [23, 28, 24, 29], [15, 8, 16, 9], [9, 20, 10, 21], [25, 14, 26, 15], [13, 24, 14, 25], [5, 19, 6, 18], [17, 5, 18, 4]]}, {"fibered": false, "tau": 3, "nu": 3, "epsilon": 1, "L_space_knot": false, "seifert_genus": 4, "total_rank": 615, "ranks": {"(-4, -7)": 5, "(-3, -6)": 30, "(-2, -5)": 77, "(-1, -4)": 124, "(0, -3)": 143, "(1, -2)": 124, "(2, -1)": 77, "(3, 0)": 30, "(4, 1)": 5}, "modulus": 2, "name": "K15a45063", "PD_code": [[27, 7, 28, 6], [5, 21, 6, 20], [3, 1, 4, 0], [9, 15, 10, 14], [1, 13, 2, 12], [19, 5, 20, 4], [25, 10, 26, 11], [15, 27, 16, 26], [13, 3, 14, 2], [23, 17, 24, 16], [7, 29, 8, 28], [29, 9, 0, 8], [17, 23, 18, 22], [21, 19, 22, 18], [11, 24, 12, 25]]}, {"fibered": false, "tau": 2, "nu": 2, "epsilon": 1, "L_space_knot": false, "seifert_genus": 4, "total_rank": 633, "ranks": {"(-4, -6)": 3, "(-3, -5)": 23, "(-2, -4)": 74, "(-1, -3)": 135, "(0, -2)": 163, "(1, -1)": 135, "(2, 0)": 74, "(3, 1)": 23, "(4, 2)": 3}, "modulus": 2, "name": "K15a46513", "PD_code": [[11, 15, 12, 14], [5, 27, 6, 26], [21, 4, 22, 5], [3, 1, 4, 0], [27, 7, 28, 6], [25, 21, 26, 20], [29, 24, 0, 25], [23, 9, 24, 8], [19, 29, 20, 28], [9, 17, 10, 16], [1, 13, 2, 12], [7, 18, 8, 19], [13, 3, 14, 2], [17, 23, 18, 22], [15, 11, 16, 10]]}, -{"fibered": false, "tau": -3, "nu": -3, "epsilon": -1, "L_space_knot": false, "seifert_genus": 5, "total_rank": 271, "ranks": {"(-5, -2)": 2, "(-4, -1)": 11, "(-3, 0)": 27, "(-2, 1)": 37, "(-1, 2)": 39, "(0, 3)": 39, "(1, 4)": 39, "(2, 5)": 37, "(3, 6)": 27, "(4, 7)": 11, "(5, 8)": 2}, "modulus": 2, "name": "K15a50254", "PD_code": [[15, 2, 16, 3], [9, 22, 10, 23], [3, 1, 4, 0], [23, 10, 24, 11], [25, 12, 26, 13], [27, 14, 28, 15], [5, 28, 6, 29], [21, 8, 22, 9], [7, 20, 8, 21], [11, 26, 12, 27], [1, 16, 2, 17], [29, 19, 0, 18], [13, 24, 14, 25], [19, 6, 20, 7], [17, 5, 18, 4]]}, +{"fibered": false, "tau": -3, "nu": -2, "epsilon": -1, "L_space_knot": false, "seifert_genus": 5, "total_rank": 271, "ranks": {"(-5, -2)": 2, "(-4, -1)": 11, "(-3, 0)": 27, "(-2, 1)": 37, "(-1, 2)": 39, "(0, 3)": 39, "(1, 4)": 39, "(2, 5)": 37, "(3, 6)": 27, "(4, 7)": 11, "(5, 8)": 2}, "modulus": 2, "name": "K15a50254", "PD_code": [[15, 2, 16, 3], [9, 22, 10, 23], [3, 1, 4, 0], [23, 10, 24, 11], [25, 12, 26, 13], [27, 14, 28, 15], [5, 28, 6, 29], [21, 8, 22, 9], [7, 20, 8, 21], [11, 26, 12, 27], [1, 16, 2, 17], [29, 19, 0, 18], [13, 24, 14, 25], [19, 6, 20, 7], [17, 5, 18, 4]]}, {"fibered": false, "tau": 0, "nu": 0, "epsilon": 0, "L_space_knot": false, "seifert_genus": 5, "total_rank": 849, "ranks": {"(-5, -5)": 2, "(-4, -4)": 14, "(-3, -3)": 48, "(-2, -2)": 105, "(-1, -1)": 162, "(0, 0)": 187, "(1, 1)": 162, "(2, 2)": 105, "(3, 3)": 48, "(4, 4)": 14, "(5, 5)": 2}, "modulus": 2, "name": "K15a59114", "PD_code": [[11, 29, 12, 28], [25, 17, 26, 16], [23, 5, 24, 4], [9, 24, 10, 25], [3, 8, 4, 9], [21, 6, 22, 7], [17, 10, 18, 11], [1, 23, 2, 22], [7, 2, 8, 3], [19, 13, 20, 12], [27, 15, 28, 14], [15, 27, 16, 26], [29, 18, 0, 19], [5, 1, 6, 0], [13, 21, 14, 20]]}, {"fibered": false, "tau": 1, "nu": 1, "epsilon": 1, "L_space_knot": false, "seifert_genus": 4, "total_rank": 1051, "ranks": {"(-4, -5)": 7, "(-3, -4)": 42, "(-2, -3)": 122, "(-1, -2)": 221, "(0, -1)": 267, "(1, 0)": 221, "(2, 1)": 122, "(3, 2)": 42, "(4, 3)": 7}, "modulus": 2, "name": "K15a69186", "PD_code": [[21, 4, 22, 5], [11, 2, 12, 3], [7, 27, 8, 26], [3, 12, 4, 13], [1, 22, 2, 23], [25, 7, 26, 6], [9, 15, 10, 14], [27, 17, 28, 16], [17, 25, 18, 24], [23, 19, 24, 18], [5, 1, 6, 0], [29, 9, 0, 8], [19, 11, 20, 10], [13, 21, 14, 20], [15, 29, 16, 28]]}, {"fibered": false, "tau": 3, "nu": 3, "epsilon": 1, "L_space_knot": false, "seifert_genus": 3, "total_rank": 691, "ranks": {"(-3, -6)": 20, "(-2, -5)": 79, "(-1, -4)": 153, "(0, -3)": 187, "(1, -2)": 153, "(2, -1)": 79, "(3, 0)": 20}, "modulus": 2, "name": "K15a72328", "PD_code": [[9, 23, 10, 22], [15, 25, 16, 24], [21, 11, 22, 10], [23, 9, 24, 8], [19, 29, 20, 28], [11, 27, 12, 26], [1, 13, 2, 12], [29, 7, 0, 6], [7, 19, 8, 18], [13, 3, 14, 2], [25, 15, 26, 14], [5, 1, 6, 0], [27, 21, 28, 20], [3, 17, 4, 16], [17, 5, 18, 4]]}, diff --git a/python_src/test.py b/python_src/test.py index 04d7828..5e34da3 100644 --- a/python_src/test.py +++ b/python_src/test.py @@ -23,7 +23,7 @@ def matches_saved_HFK_results(): result = hfk.pd_to_hfk(repr(pd)) if datum != result: return False - return True + return True if __name__ == '__main__': import doctest