Details for entry \(A_4(15,6;5)\)

Lower bounds

• ef_computation ( show
  [(0, 1, 2, 3, 4), (2, 4, 5, 6, 7), (0, 3, 5, 6, 8), (1, 3, 5, 7, 9), (1, 4, 6, 8, 9), (0, 1, 6, 7, 10), (1, 2, 5, 8, 10), (0, 2, 7, 8, 9), (0, 4, 5, 9, 10), (3, 4, 7, 8, 10), (2, 3, 6, 9, 10), (2, 3, 5, 11, 12), (1, 4, 5, 11, 13), (0, 4, 6, 11, 12), (1, 2, 6, 11, 14), (0, 1, 5, 12, 14), (1, 3, 6, 12, 13), (0, 3, 7, 11, 13), (1, 7, 8, 11, 12), (2, 4, 8, 12, 13), (4, 7, 9, 11, 14), (6, 7, 8, 13, 14), (5, 7, 10, 12, 13), (3, 8, 9, 12, 14), (0, 8, 10, 11, 14), (2, 5, 9, 13, 14)]
  ) : 1152927086460344384
• generalized_linkage ( 10,0 ) : 1152925945603036837
• generalized_linkage_multipleblocks ( show
  [10, 5],[0, 0]
  ) : 1152925945603036837
• CKMP2019_Cor_42 ( (10, 5) ) : 1152925945603031041
• CKMP2019_Lem_41 ( (10, 5) ) : 1152925945603031041
• improved_linkage ( 10 ) : 1152925945603031041
• linkage_GLT ( 10 ) : 1152925945603031041
• linkage_ST ( 5 ) : 1152925945603031041
• construction_D ( 5 ) : 1152925945603031040
• two_pivot_block_construction ( ) : 1152925902670135296
• multicomponent ( ) : 1152925902654406657
• LiuChangFeng2019_Theo_2_6 ( ) : 1152921504606846977
• LMRD ( ) : 1152921504606846976
• JohnsonLB ( ) : 1152644495574352793
• sphere_covering ( ) : 203030779453389
• HKK_lemma_2_4_lower_bound ( ) : 70386262738324
• graham_sloane ( ) : 4789078284765
• trivial_1 ( ) : 0

Upper bounds

• Ahlswede_Aydinian ( 0, 14, o ) : 1176960861605484753
• ilp_1 ( 1 ) : 1176960861605484753
• improved_johnson ( ) : 1176960861605484753
• johnson_1 ( ) : 1176960861605484753
• anticode ( ) : 1176964228930167888
• ilp_2 ( 3 ) : 1176964228930167888
• linear_programming_bound ( ) : 1176964228930167888
• singleton ( ) : 1665737215212030181
• ilp_4 ( 14 ) : 18831444499507078479
• johnson_2 ( ) : 18831444499507078479
• HKK_lemma_2_4_upper_bound ( ) : 1205505611481723737309
• sphere_packing ( ) : 3860448875510431803173
• ilp_3 ( 7 ) : 1234512800526065151681857
• all_subs ( ) : 1840477112202685809580351554021

Bound for codes containing the lifted MRD code

Do you have better bounds?