{"construction":"Disk noncrossing matchings with ordered puncture-face labels; hoops by auxiliary cup, N skein crossings, and seam cap.","arithmetic":"Exact rational arithmetic in a cyclotomic number field; no floating point rank decisions.","software":{"sympy":"1.14.0"},"parameters":{"N":4,"p":5,"x":"1","y":"2","m":1,"epsilon":1},"field":{"generator":"q","embedding":"exp(i*pi/5)","modulus_descending":["1","-1","1","-1","1"],"coefficient_order":"ascending powers 1,q,...","degree":4},"dimension":18,"depth_zero_dimension":6,"exact_checks":{"quadratic_relations":true,"distant_commutation":true,"rotation_relations":true,"full_rotation":true,"adjacent_relations":true,"affine_closure_relation":true,"F_central":true,"Fbar_central":true,"hoops_commute":true,"F_depth_zero_scalar":true},"ranks_F_minus_f0_powers":[12,8,8,8],"ranks_Fbar_minus_f0_powers":[12,8,8,8],"joint_stacked_ranks":[12,8,8,8],"target":{"dimension":10,"kernel_power":2,"f0_coeff_id":0,"nilpotent_ranks":[4,0,0,0],"Jordan_blocks_by_size":{"1":2,"2":4},"rank_N_minus_M":0,"rank_N_plus_M":4,"rank_NM":0,"hoop_algebra_dimension":2,"relations":{"N3_zero":true,"M3_zero":true,"NM_equals_N2":true,"M2_equals_N2":true,"ND_zero":true,"D2_zero":true,"F_equals_Fbar_on_target":true},"basis_pivot_rows":[0,1,4,5,8,9,10,11,13,17]},"depth_one":{"dimension":10,"same_face_dimension":6,"edge_dimension":4,"nilpotent_rank":4,"g_coeff_id":12,"checks":{"generator_stable":true,"tree_incidence_formula_F":true,"tree_incidence_formula_Fbar":true,"nilpotent_square_zero":true,"F_equals_Fbar":true},"basis":{"shape":[18,10],"entries":[[0,0,4],[1,6,4],[3,6,4],[4,1,4],[5,7,4],[7,7,4],[8,2,4],[9,3,4],[10,9,4],[11,8,4],[12,9,4],[13,4,4],[15,8,4],[17,5,4]]},"edge_descriptors":[{"matching":[1,0,3,2],"face_f":[0],"face_h":[1,3],"diagonal_rows":[0,4]},{"matching":[1,0,3,2],"face_f":[1,3],"face_h":[2],"diagonal_rows":[4,8]},{"matching":[3,2,1,0],"face_f":[0,2],"face_h":[3],"diagonal_rows":[9,17]},{"matching":[3,2,1,0],"face_f":[0,2],"face_h":[1],"diagonal_rows":[9,13]}]},"basis_states":[{"matching":[1,0,3,2],"face_a":[0],"face_b":[0]},{"matching":[1,0,3,2],"face_a":[0],"face_b":[1,3]},{"matching":[1,0,3,2],"face_a":[0],"face_b":[2]},{"matching":[1,0,3,2],"face_a":[1,3],"face_b":[0]},{"matching":[1,0,3,2],"face_a":[1,3],"face_b":[1,3]},{"matching":[1,0,3,2],"face_a":[1,3],"face_b":[2]},{"matching":[1,0,3,2],"face_a":[2],"face_b":[0]},{"matching":[1,0,3,2],"face_a":[2],"face_b":[1,3]},{"matching":[1,0,3,2],"face_a":[2],"face_b":[2]},{"matching":[3,2,1,0],"face_a":[0,2],"face_b":[0,2]},{"matching":[3,2,1,0],"face_a":[0,2],"face_b":[1]},{"matching":[3,2,1,0],"face_a":[0,2],"face_b":[3]},{"matching":[3,2,1,0],"face_a":[1],"face_b":[0,2]},{"matching":[3,2,1,0],"face_a":[1],"face_b":[1]},{"matching":[3,2,1,0],"face_a":[1],"face_b":[3]},{"matching":[3,2,1,0],"face_a":[3],"face_b":[0,2]},{"matching":[3,2,1,0],"face_a":[3],"face_b":[1]},{"matching":[3,2,1,0],"face_a":[3],"face_b":[3]}],"matrices":{"e_0":{"shape":[18,18],"entries":[[4,0,0],[4,1,1],[4,3,2],[4,4,3],[4,13,4],[4,14,4],[4,16,4],[4,17,4],[5,2,1],[5,5,3],[5,12,4],[5,15,4],[7,6,2],[7,7,3],[7,10,4],[7,11,4],[8,8,3],[8,9,4]]},"e_1":{"shape":[18,18],"entries":[[9,0,4],[9,2,4],[9,6,4],[9,8,4],[9,9,3],[9,10,2],[9,12,1],[9,13,0],[11,1,4],[11,7,4],[11,11,3],[11,14,1],[15,3,4],[15,5,4],[15,15,3],[15,16,2],[17,4,4],[17,17,3]]},"e_2":{"shape":[18,18],"entries":[[0,0,3],[0,9,4],[1,1,3],[1,2,2],[1,10,4],[1,11,4],[3,3,3],[3,6,1],[3,12,4],[3,15,4],[4,4,3],[4,5,2],[4,7,1],[4,8,0],[4,13,4],[4,14,4],[4,16,4],[4,17,4]]},"e_3":{"shape":[18,18],"entries":[[9,0,4],[9,2,4],[9,6,4],[9,8,4],[9,9,3],[9,11,2],[9,15,1],[9,17,0],[10,1,4],[10,7,4],[10,10,3],[10,16,1],[12,3,4],[12,5,4],[12,12,3],[12,14,2],[13,4,4],[13,13,3]]},"Omega":{"shape":[18,18],"entries":[[0,13,4],[1,12,4],[2,14,4],[3,10,4],[4,9,4],[5,11,4],[6,16,4],[7,15,4],[8,17,4],[9,4,4],[10,5,4],[11,3,4],[12,7,4],[13,8,4],[14,6,4],[15,1,4],[16,2,4],[17,0,4]]},"F":{"shape":[18,18],"entries":[[0,0,0],[0,1,1],[0,3,2],[0,14,4],[0,16,4],[1,2,1],[1,3,0],[1,14,5],[1,16,6],[2,14,7],[2,16,8],[3,1,0],[3,6,2],[3,14,9],[3,16,10],[4,1,2],[4,2,0],[4,3,1],[4,4,0],[4,5,1],[4,6,0],[4,7,2],[4,14,11],[4,16,11],[5,2,2],[5,7,0],[5,14,10],[5,16,9],[6,14,8],[6,16,7],[7,5,0],[7,6,1],[7,14,6],[7,16,5],[8,5,2],[8,7,1],[8,8,0],[8,14,4],[8,16,4],[9,2,11],[9,6,11],[9,9,0],[9,10,1],[9,11,1],[9,12,2],[9,14,0],[9,15,2],[9,16,0],[10,2,10],[10,6,9],[10,12,0],[10,16,2],[11,2,9],[11,6,10],[11,14,2],[11,15,0],[12,2,6],[12,6,5],[12,10,0],[12,14,1],[13,2,4],[13,6,4],[13,10,2],[13,12,1],[13,13,0],[14,2,8],[14,6,7],[15,2,5],[15,6,6],[15,11,0],[15,16,1],[16,2,7],[16,6,8],[17,2,4],[17,6,4],[17,11,2],[17,15,1],[17,17,0]]},"Fbar":{"shape":[18,18],"entries":[[0,0,0],[0,1,1],[0,3,2],[0,14,4],[0,16,4],[1,2,1],[1,3,0],[1,14,6],[1,16,5],[2,14,8],[2,16,7],[3,1,0],[3,6,2],[3,14,10],[3,16,9],[4,1,2],[4,2,0],[4,3,1],[4,4,0],[4,5,1],[4,6,0],[4,7,2],[4,14,11],[4,16,11],[5,2,2],[5,7,0],[5,14,9],[5,16,10],[6,14,7],[6,16,8],[7,5,0],[7,6,1],[7,14,5],[7,16,6],[8,5,2],[8,7,1],[8,8,0],[8,14,4],[8,16,4],[9,2,11],[9,6,11],[9,9,0],[9,10,1],[9,11,1],[9,12,2],[9,14,0],[9,15,2],[9,16,0],[10,2,9],[10,6,10],[10,12,0],[10,16,2],[11,2,10],[11,6,9],[11,14,2],[11,15,0],[12,2,5],[12,6,6],[12,10,0],[12,14,1],[13,2,4],[13,6,4],[13,10,2],[13,12,1],[13,13,0],[14,2,7],[14,6,8],[15,2,6],[15,6,5],[15,11,0],[15,16,1],[16,2,8],[16,6,7],[17,2,4],[17,6,4],[17,11,2],[17,15,1],[17,17,0]]}},"target_matrices":{"e_0":{"shape":[10,10],"entries":[[2,0,0],[2,1,12],[2,2,3],[2,7,4],[2,9,4],[3,3,3],[3,6,4],[3,8,4],[4,4,3],[4,5,4]]},"e_1":{"shape":[10,10],"entries":[[5,0,4],[5,4,4],[5,5,3],[5,6,12],[5,7,0],[8,1,4],[8,3,4],[8,8,3],[9,2,4],[9,9,3]]},"e_2":{"shape":[10,10],"entries":[[0,0,3],[0,5,4],[1,1,3],[1,6,4],[1,8,4],[2,2,3],[2,3,12],[2,4,0],[2,7,4],[2,9,4]]},"e_3":{"shape":[10,10],"entries":[[5,0,4],[5,4,4],[5,5,3],[5,8,12],[5,9,0],[6,1,4],[6,3,4],[6,6,3],[7,2,4],[7,7,3]]},"Omega":{"shape":[10,10],"entries":[[0,7,4],[1,6,4],[2,5,4],[3,8,4],[4,9,4],[5,2,4],[6,3,4],[7,4,4],[8,1,4],[9,0,4]]},"F":{"shape":[10,10],"entries":[[0,0,0],[0,1,12],[1,1,0],[2,1,12],[2,2,0],[2,3,12],[3,3,0],[4,3,12],[4,4,0],[5,5,0],[5,6,12],[5,8,12],[6,6,0],[7,6,12],[7,7,0],[8,8,0],[9,8,12],[9,9,0]]},"Fbar":{"shape":[10,10],"entries":[[0,0,0],[0,1,12],[1,1,0],[2,1,12],[2,2,0],[2,3,12],[3,3,0],[4,3,12],[4,4,0],[5,5,0],[5,6,12],[5,8,12],[6,6,0],[7,6,12],[7,7,0],[8,8,0],[9,8,12],[9,9,0]]},"N":{"shape":[10,10],"entries":[[0,1,12],[2,1,12],[2,3,12],[4,3,12],[5,6,12],[5,8,12],[7,6,12],[9,8,12]]},"M":{"shape":[10,10],"entries":[[0,1,12],[2,1,12],[2,3,12],[4,3,12],[5,6,12],[5,8,12],[7,6,12],[9,8,12]]},"D":{"shape":[10,10],"entries":[]},"kernel_basis":{"shape":[18,10],"entries":[[0,0,4],[1,1,4],[3,1,4],[4,2,4],[5,3,4],[7,3,4],[8,4,4],[9,5,4],[10,6,4],[11,8,4],[12,6,4],[13,7,4],[15,8,4],[17,9,4]]}},"rank_certificates":[{"power":1,"rank":12,"minor_rows":[0,1,2,3,4,5,6,9,10,11,12,13],"minor_columns":[1,2,3,5,6,7,10,11,12,14,15,16],"minor_determinant_coeff_id":13,"right_kernel":{"shape":[18,6],"entries":[[0,0,4],[4,1,4],[8,2,4],[9,3,4],[13,4,4],[17,5,4]]},"kernel_identity_rows":[0,4,8,9,13,17]},{"power":2,"rank":8,"minor_rows":[0,1,2,3,4,9,10,12],"minor_columns":[1,2,5,6,10,11,14,16],"minor_determinant_coeff_id":14,"right_kernel":{"shape":[18,10],"entries":[[0,0,4],[1,1,4],[3,1,4],[4,2,4],[5,3,4],[7,3,4],[8,4,4],[9,5,4],[10,6,4],[11,8,4],[12,6,4],[13,7,4],[15,8,4],[17,9,4]]},"kernel_identity_rows":[0,3,4,7,8,9,12,13,15,17]},{"power":3,"rank":8,"minor_rows":[0,1,2,3,4,9,10,12],"minor_columns":[1,2,5,6,10,11,14,16],"minor_determinant_coeff_id":15,"right_kernel":{"shape":[18,10],"entries":[[0,0,4],[1,1,4],[3,1,4],[4,2,4],[5,3,4],[7,3,4],[8,4,4],[9,5,4],[10,6,4],[11,8,4],[12,6,4],[13,7,4],[15,8,4],[17,9,4]]},"kernel_identity_rows":[0,3,4,7,8,9,12,13,15,17]}],"coefficient_dictionary":[["1","0","1","-1"],["2","0","0","0"],["5/2","0","0","0"],["-1","0","-1","1"],["1","0","0","0"],["0","5/2","0","0"],["5/2","-5/2","5/2","-5/2"],["0","0","1","0"],["0","0","0","-1"],["2","-2","2","-2"],["0","2","0","0"],["5","0","0","0"],["9/2","0","0","0"],["-295245/64","0","-177147/64","177147/64"],["-835/16","0","-521/16","521/16"],["12832","0","7929","-7929"]],"elapsed_seconds":0.089}