{"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":2,"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":4,"depth_zero_dimension":2,"exact_checks":{"quadratic_relations":true,"distant_commutation":true,"rotation_relations":true,"full_rotation":true,"size_two_relation":true,"F_central":true,"Fbar_central":true,"hoops_commute":true,"F_depth_zero_scalar":true},"ranks_F_minus_f0_powers":[2,1,1,1],"ranks_Fbar_minus_f0_powers":[2,1,1,1],"joint_stacked_ranks":[2,1,1,1],"target":{"dimension":3,"kernel_power":2,"f0_coeff_id":0,"nilpotent_ranks":[1,0,0,0],"Jordan_blocks_by_size":{"1":1,"2":1},"rank_N_minus_M":0,"rank_N_plus_M":1,"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,3]},"depth_one":{"dimension":3,"same_face_dimension":2,"edge_dimension":1,"nilpotent_rank":1,"g_coeff_id":5,"checks":{"generator_stable":true,"tree_incidence_formula_F":true,"tree_incidence_formula_Fbar":true,"nilpotent_square_zero":true,"F_equals_Fbar":true},"basis":{"shape":[4,3],"entries":[[0,0,4],[1,2,4],[2,2,4],[3,1,4]]},"edge_descriptors":[{"matching":[1,0],"face_f":[0],"face_h":[1],"diagonal_rows":[0,3]}]},"basis_states":[{"matching":[1,0],"face_a":[0],"face_b":[0]},{"matching":[1,0],"face_a":[0],"face_b":[1]},{"matching":[1,0],"face_a":[1],"face_b":[0]},{"matching":[1,0],"face_a":[1],"face_b":[1]}],"matrices":{"e_0":{"shape":[4,4],"entries":[[3,0,0],[3,1,1],[3,2,2],[3,3,3]]},"e_1":{"shape":[4,4],"entries":[[0,0,3],[0,1,2],[0,2,1],[0,3,0]]},"Omega":{"shape":[4,4],"entries":[[0,3,4],[1,2,4],[2,1,4],[3,0,4]]},"F":{"shape":[4,4],"entries":[[0,0,0],[0,1,1],[0,2,2],[1,2,0],[2,1,0],[3,1,2],[3,2,1],[3,3,0]]},"Fbar":{"shape":[4,4],"entries":[[0,0,0],[0,1,1],[0,2,2],[1,2,0],[2,1,0],[3,1,2],[3,2,1],[3,3,0]]}},"target_matrices":{"e_0":{"shape":[3,3],"entries":[[2,0,0],[2,1,5],[2,2,3]]},"e_1":{"shape":[3,3],"entries":[[0,0,3],[0,1,5],[0,2,0]]},"Omega":{"shape":[3,3],"entries":[[0,2,4],[1,1,4],[2,0,4]]},"F":{"shape":[3,3],"entries":[[0,0,0],[0,1,5],[1,1,0],[2,1,5],[2,2,0]]},"Fbar":{"shape":[3,3],"entries":[[0,0,0],[0,1,5],[1,1,0],[2,1,5],[2,2,0]]},"N":{"shape":[3,3],"entries":[[0,1,5],[2,1,5]]},"M":{"shape":[3,3],"entries":[[0,1,5],[2,1,5]]},"D":{"shape":[3,3],"entries":[]},"kernel_basis":{"shape":[4,3],"entries":[[0,0,4],[1,1,4],[2,1,4],[3,2,4]]}},"rank_certificates":[{"power":1,"rank":2,"minor_rows":[0,1],"minor_columns":[1,2],"minor_determinant_coeff_id":6,"right_kernel":{"shape":[4,2],"entries":[[0,0,4],[3,1,4]]},"kernel_identity_rows":[0,3]},{"power":2,"rank":1,"minor_rows":[0],"minor_columns":[1],"minor_determinant_coeff_id":7,"right_kernel":{"shape":[4,3],"entries":[[0,0,4],[1,1,4],[2,1,4],[3,2,4]]},"kernel_identity_rows":[0,2,3]},{"power":3,"rank":1,"minor_rows":[0],"minor_columns":[1],"minor_determinant_coeff_id":8,"right_kernel":{"shape":[4,3],"entries":[[0,0,4],[1,1,4],[2,1,4],[3,2,4]]},"kernel_identity_rows":[0,2,3]}],"coefficient_dictionary":[["1","0","1","-1"],["2","0","0","0"],["5/2","0","0","0"],["-1","0","-1","1"],["1","0","0","0"],["9/2","0","0","0"],["9/2","0","9/2","-9/2"],["1/2","0","1/2","-1/2"],["-2","0","-1","1"]],"elapsed_seconds":0.011}