{ "status": "PASS", "arithmetic": "integers and fractions; checks are active under -O", "checks": 43237, "simplicial": { "finite_complex_maps": [ { "vertices": 3, "simplices": 7, "self_maps": 27 }, { "vertices": 3, "simplices": 6, "self_maps": 27 }, { "vertices": 4, "simplices": 8, "self_maps": 84 }, { "vertices": 5, "simplices": 10, "self_maps": 265 }, { "vertices": 4, "simplices": 14, "self_maps": 256 } ], "total_self_maps": 659, "degree_two_vertex_labels": [ 0, 0, 1, 1, 2, 2, 0, 0, 1, 1, 2, 2 ], "prism_pairs": 81 }, "affine_finite_grid_models": 1955, "torus": [ { "n": 1, "A_power": [ [ 3, 2 ], [ 1, 1 ] ], "N": [ [ 2, 2 ], [ 1, 0 ] ], "U": [ [ 0, 1 ], [ 1, -2 ] ], "V": [ [ 1, 0 ], [ 0, 1 ] ], "smith_factors": [ 1, 2 ], "fixed_points": 2, "least_period_points": 2, "least_period_orbits": 2, "Lefschetz": -2, "common_denominator": 2, "all_orbits": [ [ [ "0", "0" ] ], [ [ "0", "1/2" ] ] ] }, { "n": 2, "A_power": [ [ 11, 8 ], [ 4, 3 ] ], "N": [ [ 10, 8 ], [ 4, 2 ] ], "U": [ [ 1, -2 ], [ 2, -5 ] ], "V": [ [ 1, -2 ], [ 0, 1 ] ], "smith_factors": [ 2, 6 ], "fixed_points": 12, "least_period_points": 10, "least_period_orbits": 5, "Lefschetz": -12, "common_denominator": 6, "all_orbits": [ [ [ "0", "0" ] ], [ [ "0", "1/2" ] ], [ [ "1/6", "1/6" ], [ "5/6", "1/3" ] ], [ [ "1/6", "2/3" ], [ "5/6", "5/6" ] ], [ [ "1/3", "1/3" ], [ "2/3", "2/3" ] ], [ [ "1/3", "5/6" ], [ "2/3", "1/6" ] ], [ [ "1/2", "0" ], [ "1/2", "1/2" ] ] ] }, { "n": 3, "A_power": [ [ 41, 30 ], [ 15, 11 ] ], "N": [ [ 40, 30 ], [ 15, 10 ] ], "U": [ [ -1, 3 ], [ 3, -8 ] ], "V": [ [ 1, 0 ], [ 0, 1 ] ], "smith_factors": [ 5, 10 ], "fixed_points": 50, "least_period_points": 48, "least_period_orbits": 16, "Lefschetz": -50, "common_denominator": 10, "all_orbits": [ [ [ "0", "0" ] ], [ [ "0", "1/10" ], [ "1/5", "1/10" ], [ "4/5", "3/10" ] ], [ [ "0", "1/5" ], [ "2/5", "1/5" ], [ "3/5", "3/5" ] ], [ [ "0", "3/10" ], [ "3/5", "3/10" ], [ "2/5", "9/10" ] ], [ [ "0", "2/5" ], [ "4/5", "2/5" ], [ "1/5", "1/5" ] ], [ [ "0", "1/2" ] ], [ [ "0", "3/5" ], [ "1/5", "3/5" ], [ "4/5", "4/5" ] ], [ [ "0", "7/10" ], [ "2/5", "7/10" ], [ "3/5", "1/10" ] ], [ [ "0", "4/5" ], [ "3/5", "4/5" ], [ "2/5", "2/5" ] ], [ [ "0", "9/10" ], [ "4/5", "9/10" ], [ "1/5", "7/10" ] ], [ [ "1/5", "0" ], [ "3/5", "1/5" ], [ "1/5", "4/5" ] ], [ [ "1/5", "3/10" ], [ "1/5", "1/2" ], [ "3/5", "7/10" ] ], [ [ "1/5", "2/5" ], [ "2/5", "3/5" ], [ "2/5", "0" ] ], [ [ "1/5", "9/10" ], [ "2/5", "1/10" ], [ "2/5", "1/2" ] ], [ [ "2/5", "3/10" ], [ "4/5", "7/10" ], [ "4/5", "1/2" ] ], [ [ "2/5", "4/5" ], [ "4/5", "1/5" ], [ "4/5", "0" ] ], [ [ "3/5", "0" ], [ "4/5", "3/5" ], [ "3/5", "2/5" ] ], [ [ "3/5", "1/2" ], [ "4/5", "1/10" ], [ "3/5", "9/10" ] ] ] }, { "n": 4, "A_power": [ [ 153, 112 ], [ 56, 41 ] ], "N": [ [ 152, 112 ], [ 56, 40 ] ], "U": [ [ 3, -8 ], [ 7, -19 ] ], "V": [ [ 1, -2 ], [ 0, 1 ] ], "smith_factors": [ 8, 24 ], "fixed_points": 192, "least_period_points": 180, "least_period_orbits": 45, "Lefschetz": -192, "common_denominator": 24, "all_orbits": [ [ [ "0", "0" ] ], [ [ "0", "1/8" ], [ "1/4", "1/8" ], [ "0", "3/8" ], [ "3/4", "3/8" ] ], [ [ "0", "1/4" ], [ "1/2", "1/4" ], [ "0", "3/4" ], [ "1/2", "3/4" ] ], [ [ "0", "1/2" ] ], [ [ "0", "5/8" ], [ "1/4", "5/8" ], [ "0", "7/8" ], [ "3/4", "7/8" ] ], [ [ "1/24", "1/24" ], [ "5/24", "1/12" ], [ "19/24", "7/24" ], [ "23/24", "1/12" ] ], [ [ "1/24", "1/6" ], [ "11/24", "5/24" ], [ "19/24", "2/3" ], [ "17/24", "11/24" ] ], [ [ "1/24", "7/24" ], [ "17/24", "1/3" ], [ "19/24", "1/24" ], [ "11/24", "5/6" ] ], [ [ "1/24", "5/12" ], [ "23/24", "11/24" ], [ "19/24", "5/12" ], [ "5/24", "5/24" ] ], [ [ "1/24", "13/24" ], [ "5/24", "7/12" ], [ "19/24", "19/24" ], [ "23/24", "7/12" ] ], [ [ "1/24", "2/3" ], [ "11/24", "17/24" ], [ "19/24", "1/6" ], [ "17/24", "23/24" ] ], [ [ "1/24", "19/24" ], [ "17/24", "5/6" ], [ "19/24", "13/24" ], [ "11/24", "1/3" ] ], [ [ "1/24", "11/12" ], [ "23/24", "23/24" ], [ "19/24", "11/12" ], [ "5/24", "17/24" ] ], [ [ "1/12", "1/12" ], [ "5/12", "1/6" ], [ "7/12", "7/12" ], [ "11/12", "1/6" ] ], [ [ "1/12", "5/24" ], [ "2/3", "7/24" ], [ "7/12", "23/24" ], [ "2/3", "13/24" ] ], [ [ "1/12", "1/3" ], [ "11/12", "5/12" ], [ "7/12", "1/3" ], [ "5/12", "11/12" ] ], [ [ "1/12", "11/24" ], [ "1/6", "13/24" ], [ "7/12", "17/24" ], [ "1/6", "7/24" ] ], [ [ "1/12", "7/12" ], [ "5/12", "2/3" ], [ "7/12", "1/12" ], [ "11/12", "2/3" ] ], [ [ "1/12", "17/24" ], [ "2/3", "19/24" ], [ "7/12", "11/24" ], [ "2/3", "1/24" ] ], [ [ "1/12", "5/6" ], [ "11/12", "11/12" ], [ "7/12", "5/6" ], [ "5/12", "5/12" ] ], [ [ "1/12", "23/24" ], [ "1/6", "1/24" ], [ "7/12", "5/24" ], [ "1/6", "19/24" ] ], [ [ "1/8", "0" ], [ "3/8", "1/8" ], [ "3/8", "1/2" ], [ "1/8", "7/8" ] ], [ [ "1/8", "1/8" ], [ "5/8", "1/4" ], [ "3/8", "7/8" ], [ "7/8", "1/4" ] ], [ [ "1/8", "1/4" ], [ "7/8", "3/8" ], [ "3/8", "1/4" ], [ "5/8", "5/8" ] ], [ [ "1/8", "3/8" ], [ "1/8", "1/2" ], [ "3/8", "5/8" ], [ "3/8", "0" ] ], [ [ "1/8", "5/8" ], [ "5/8", "3/4" ], [ "3/8", "3/8" ], [ "7/8", "3/4" ] ], [ [ "1/8", "3/4" ], [ "7/8", "7/8" ], [ "3/8", "3/4" ], [ "5/8", "1/8" ] ], [ [ "1/6", "1/6" ], [ "5/6", "1/3" ] ], [ [ "1/6", "5/12" ], [ "1/3", "7/12" ], [ "1/6", "11/12" ], [ "1/3", "1/12" ] ], [ [ "1/6", "2/3" ], [ "5/6", "5/6" ] ], [ [ "5/24", "1/3" ], [ "7/24", "13/24" ], [ "23/24", "5/6" ], [ "13/24", "19/24" ] ], [ [ "5/24", "11/24" ], [ "13/24", "2/3" ], [ "23/24", "5/24" ], [ "7/24", "1/6" ] ], [ [ "5/24", "5/6" ], [ "7/24", "1/24" ], [ "23/24", "1/3" ], [ "13/24", "7/24" ] ], [ [ "5/24", "23/24" ], [ "13/24", "1/6" ], [ "23/24", "17/24" ], [ "7/24", "2/3" ] ], [ [ "1/4", "0" ], [ "3/4", "1/4" ], [ "3/4", "0" ], [ "1/4", "3/4" ] ], [ [ "1/4", "1/4" ], [ "1/4", "1/2" ], [ "3/4", "3/4" ], [ "3/4", "1/2" ] ], [ [ "1/4", "3/8" ], [ "1/2", "5/8" ], [ "3/4", "1/8" ], [ "1/2", "7/8" ] ], [ [ "1/4", "7/8" ], [ "1/2", "1/8" ], [ "3/4", "5/8" ], [ "1/2", "3/8" ] ], [ [ "7/24", "7/24" ], [ "11/24", "7/12" ], [ "13/24", "1/24" ], [ "17/24", "7/12" ] ], [ [ "7/24", "5/12" ], [ "17/24", "17/24" ], [ "13/24", "5/12" ], [ "11/24", "23/24" ] ], [ [ "7/24", "19/24" ], [ "11/24", "1/12" ], [ "13/24", "13/24" ], [ "17/24", "1/12" ] ], [ [ "7/24", "11/12" ], [ "17/24", "5/24" ], [ "13/24", "11/12" ], [ "11/24", "11/24" ] ], [ [ "1/3", "5/24" ], [ "5/12", "13/24" ], [ "1/3", "23/24" ], [ "11/12", "7/24" ] ], [ [ "1/3", "1/3" ], [ "2/3", "2/3" ] ], [ [ "1/3", "11/24" ], [ "11/12", "19/24" ], [ "1/3", "17/24" ], [ "5/12", "1/24" ] ], [ [ "1/3", "5/6" ], [ "2/3", "1/6" ] ], [ [ "5/12", "7/24" ], [ "5/6", "17/24" ], [ "11/12", "13/24" ], [ "5/6", "11/24" ] ], [ [ "5/12", "19/24" ], [ "5/6", "5/24" ], [ "11/12", "1/24" ], [ "5/6", "23/24" ] ], [ [ "1/2", "0" ], [ "1/2", "1/2" ] ], [ [ "5/8", "0" ], [ "7/8", "5/8" ], [ "7/8", "1/2" ], [ "5/8", "3/8" ] ], [ [ "5/8", "1/2" ], [ "7/8", "1/8" ], [ "7/8", "0" ], [ "5/8", "7/8" ] ], [ [ "2/3", "5/12" ], [ "5/6", "1/12" ], [ "2/3", "11/12" ], [ "5/6", "7/12" ] ] ] } ], "mapping_torus_integer_invariants": { "A": [ { "free_rank": 1, "torsion": [] }, { "free_rank": 1, "torsion": [ 2 ] }, { "free_rank": 1, "torsion": [] }, { "free_rank": 1, "torsion": [] } ], "A_squared": [ { "free_rank": 1, "torsion": [] }, { "free_rank": 1, "torsion": [ 2, 6 ] }, { "free_rank": 1, "torsion": [] }, { "free_rank": 1, "torsion": [] } ], "coordinate_swap": [ { "free_rank": 1, "torsion": [] }, { "free_rank": 2, "torsion": [] }, { "free_rank": 1, "torsion": [ 2 ] }, { "free_rank": 0, "torsion": [] } ], "singular_projection": [ { "free_rank": 1, "torsion": [] }, { "free_rank": 2, "torsion": [] }, { "free_rank": 1, "torsion": [] }, { "free_rank": 0, "torsion": [] } ] } }