Details for entry \(A_4(15,8;7)\)

Lower bounds

• two_pivot_block_construction ( ) : 18446744078004518912
• ef_computation ( show
  [(0, 1, 2, 3, 4, 5, 6), (0, 2, 4, 7, 8, 9, 10), (1, 2, 5, 7, 8, 11, 12), (1, 3, 6, 7, 8, 9, 14), (0, 3, 5, 7, 9, 11, 13), (1, 3, 4, 9, 10, 11, 12), (0, 1, 6, 8, 10, 11, 13), (2, 3, 6, 7, 10, 12, 13), (1, 4, 5, 7, 10, 13, 14), (0, 3, 5, 8, 10, 12, 14), (0, 4, 6, 7, 11, 12, 14), (2, 3, 4, 8, 11, 13, 14), (2, 5, 6, 9, 10, 11, 14), (4, 5, 6, 8, 9, 12, 13), (0, 1, 2, 9, 12, 13, 14)]
  ) : 18446744074785687120
• generalized_linkage ( 7,0 ) : 18446744073709618444
• generalized_linkage_multipleblocks ( show
  [7, 8],[0, 0]
  ) : 18446744073709618444
• improved_linkage ( 7 ) : 18446744073709568001
• multicomponent ( ) : 18446744073709568001
• LiuChangFeng2019_Theo_2_6 ( ) : 18446744073709551639
• CKMP2019_Cor_42 ( (7, 8) ) : 18446744073709551617
• CKMP2019_Lem_41 ( (7, 8) ) : 18446744073709551617
• linkage_GLT ( 7 ) : 18446744073709551617
• LMRD ( ) : 18446744073709551616
• JohnsonLB ( ) : 18446462609249231932
• JohnsonLB_special ( ) : 18446462609249231932
• HKK_lemma_2_4_lower_bound ( ) : 72057595116916996
• sphere_covering ( ) : 766201571715
• graham_sloane ( ) : 18274374
• trivial_1 ( ) : 0

Upper bounds

• improved_johnson ( ) : 18542844022278517045
• Ahlswede_Aydinian ( 0, 14, o ) : 18542844022278517054
• ilp_1 ( 1 ) : 18542844022278517054
• johnson_1 ( ) : 18542844022278517054
• anticode ( ) : 18542844051357783297
• ilp_2 ( 4 ) : 18542844051357783297
• linear_programming_bound ( ) : 18542844051357783297
• singleton ( ) : 26756185103024942565
• ilp_4 ( 13 ) : 1184577472936783886911
• johnson_2 ( ) : 1184577472936783886911
• ilp_3 ( 10 ) : 1186759844863692752818
• sphere_packing ( ) : 15802894115416694409071089
• all_subs ( ) : 7540859480106603961931048583270885

Bound for codes containing the lifted MRD code

Do you have better bounds?