Details for entry \(A_7(10,6;4)\)

Lower bounds

• construction_1 ( ) : 13841404963
• ef_computation ( show
  [(0, 1, 2, 3), (0, 4, 5, 6), (1, 4, 7, 8), (2, 5, 7, 9), (3, 6, 8, 9)]
  ) : 13841404907
• echelon_ferrers ( show
  optimal [(0, 1, 2, 3), (0, 5, 8, 9), (1, 6, 7, 8), (2, 4, 5, 6), (3, 4, 7, 9)] (if conjecture about Ferrers Diagram Rank-Metric Codes is true: 13841404907 with optimal [(0, 1, 2, 3), (0, 5, 7, 9), (1, 4, 5, 6), (2, 6, 8, 9), (3, 4, 7, 8)])
  ) : 13841304017
• pending_dots ( show
  optimal [(0, 1, 2, 3), (0, 6, 7, 8), (1, 5, 8, 9), (2, 4, 5, 6), (3, 4, 7, 9)] (if conjecture about Ferrers Diagram Rank-Metric Codes is true: 13841404907 with optimal [(0, 1, 2, 3), (0, 4, 7, 8), (1, 4, 5, 6), (2, 5, 7, 9), (3, 6, 8, 9)])
  ) : 13841304017
• generalized_linkage ( 4,1 ) : 13841289603
• generalized_linkage_multipleblocks ( show
  [4, 6],[0, 1]
  ) : 13841289603
• improved_linkage ( 4 ) : 13841289603
• multicomponent ( ) : 13841289603
• CKMP2019_Cor_42 ( (4, 6) ) : 13841287202
• CKMP2019_Lem_41 ( (4, 6) ) : 13841287202
• generalized_linkage ( 4,0 ) : 13841287202
• generalized_linkage_multipleblocks ( show
  [4, 6],[0, 0]
  ) : 13841287202
• linkage_GLT ( 4 ) : 13841287202
• LMRD ( ) : 13841287201
• LiuChangFeng2019_Theo_2_6 ( ) : 13841287201
• JohnsonLB ( ) : 13840464058
• CKMP2019_Cor_42 ( (5, 5) ) : 282475250
• CKMP2019_Lem_41 ( (5, 5) ) : 282475250
• generalized_linkage ( 5,0 ) : 282475250
• generalized_linkage ( 5,1 ) : 282475250
• generalized_linkage_multipleblocks ( show
  [5, 5],[0, 0]
  ) : 282475250
• generalized_linkage_multipleblocks ( show
  [5, 5],[0, 1]
  ) : 282475250
• improved_linkage ( 5 ) : 282475250
• linkage_GLT ( 5 ) : 282475250
• HKK_lemma_2_4_lower_bound ( ) : 5781615
• generalized_linkage ( 7,1 ) : 5767203
• generalized_linkage_multipleblocks ( show
  [7, 3],[0, 1]
  ) : 5767203
• generalized_linkage_multipleblocks ( show
  [4, 3, 3],[0, 1, 1]
  ) : 5767203
• improved_linkage ( 7 ) : 5767203
• CKMP2019_Cor_42 ( (6, 4) ) : 5764802
• CKMP2019_Lem_41 ( (6, 4) ) : 5764802
• generalized_linkage ( 6,0 ) : 5764802
• generalized_linkage ( 6,1 ) : 5764802
• generalized_linkage_multipleblocks ( show
  [6, 4],[0, 0]
  ) : 5764802
• generalized_linkage_multipleblocks ( show
  [6, 4],[0, 1]
  ) : 5764802
• improved_linkage ( 6 ) : 5764802
• linkage_GLT ( 6 ) : 5764802
• sphere_covering ( ) : 4873141
• graham_sloane ( ) : 17215
• trivial_1 ( ) : 0

Upper bounds

• improved_johnson ( ) : 13887542467
• Ahlswede_Aydinian ( 2, 2 ) : 13887542473
• Ahlswede_Aydinian ( 0, 8, o ) : 13887542473
• Ahlswede_Aydinian ( 0, 9, o ) : 13887542473
• anticode ( ) : 13887542473
• ilp_1 ( 1 ) : 13887542473
• ilp_2 ( 2 ) : 13887542473
• johnson_1 ( ) : 13887542473
• linear_programming_bound ( ) : 13887542473
• Ahlswede_Aydinian ( 2, 3 ) : 13887656079
• Ahlswede_Aydinian ( 2, 4 ) : 13888451363
• Ahlswede_Aydinian ( 2, 5 ) : 13894020621
• Ahlswede_Aydinian ( 2, 6 ) : 13933116877
• Ahlswede_Aydinian ( 1, 9 ) : 14170959300
• Ahlswede_Aydinian ( 2, 7 ) : 14212363019
• Ahlswede_Aydinian ( 2, 8 ) : 16484565700
• singleton ( ) : 16484565700
• Ahlswede_Aydinian ( 1, 8 ) : 86798402244
• Ahlswede_Aydinian ( 1, 7 ) : 597199742902
• Ahlswede_Aydinian ( 0, 9 ) : 679520658704
• ilp_4 ( 9 ) : 679520658704
• johnson_2 ( ) : 679520658704
• HKK_lemma_2_4_upper_bound ( ) : 679555315748
• Ahlswede_Aydinian ( 1, 5 ) : 4097028520924
• Ahlswede_Aydinian ( 1, 6 ) : 4098488085819
• Ahlswede_Aydinian ( 1, 4 ) : 4169764931079
• Ahlswede_Aydinian ( 1, 6, o ) : 4169764931079
• sphere_packing ( ) : 4169764931079
• Ahlswede_Aydinian ( 1, 7, o ) : 4178722621333
• Ahlswede_Aydinian ( 1, 8, o ) : 4253338707618
• Ahlswede_Aydinian ( 1, 9, o ) : 4860922372356
• Ahlswede_Aydinian ( 0, 7 ) : 33262879788510
• Ahlswede_Aydinian ( 0, 8 ) : 33262879788510
• ilp_4 ( 7 ) : 33262879788510
• ilp_4 ( 8 ) : 33262879788510
• Ahlswede_Aydinian ( 0, 6 ) : 33346210695266
• Ahlswede_Aydinian ( 2, 4, o ) : 33346210695266
• ilp_3 ( 6 ) : 33346210695266
• Ahlswede_Aydinian ( 2, 5, o ) : 33359816532298
• Ahlswede_Aydinian ( 2, 6, o ) : 33455334951775
• Ahlswede_Aydinian ( 2, 7, o ) : 34137847448081
• Ahlswede_Aydinian ( 2, 8, o ) : 39709010932102
• Ahlswede_Aydinian ( 1, 3 ) : 1667893851110586
• Ahlswede_Aydinian ( 0, 7, o ) : 1667893851110586
• ilp_2 ( 3 ) : 1667893851110586
• Ahlswede_Aydinian ( 0, 5 ) : 81731562414097002
• Ahlswede_Aydinian ( 1, 5, o ) : 81731562414097002
• ilp_3 ( 5 ) : 81731562414097002
• Ahlswede_Aydinian ( 0, 4 ) : 228930106321885702602
• Ahlswede_Aydinian ( 0, 6, o ) : 228930106321885702602
• all_subs ( ) : 228930106321885702602

Bound for codes containing the lifted MRD code

Do you have better bounds?