Details for entry \(A_2(14,8;7)\)

Lower bounds

• ef_computation ( show
  [(0, 1, 2, 3, 4, 5, 6), (0, 1, 2, 7, 8, 9, 10), (0, 3, 4, 7, 8, 11, 12), (1, 3, 5, 7, 9, 11, 13), (1, 4, 6, 7, 10, 12, 13), (2, 4, 5, 8, 10, 11, 13), (2, 3, 6, 8, 9, 12, 13), (0, 5, 6, 9, 10, 11, 12)] (if conjecture about Ferrers Diagram Rank-Metric Codes is true: 268439924)
  ) : 268439740
• greedy_multicomponent ( show
  [(0, 1, 2, 3, 4, 5, 6), (0, 1, 2, 7, 8, 9, 10), (0, 3, 4, 7, 8, 11, 12), (1, 2, 5, 7, 11, 12, 13), (3, 4, 5, 7, 9, 10, 13), (0, 5, 6, 8, 9, 11, 13), (1, 3, 6, 8, 10, 12, 13), (2, 4, 6, 9, 10, 11, 12)]
  ) : 268439635
• two_pivot_block_construction ( ) : 268439552
• generalized_linkage ( 7,0 ) : 268435789
• generalized_linkage_multipleblocks ( show
  [7, 7],[0, 0]
  ) : 268435789
• LiuChangFeng2019_Theo_2_6 ( ) : 268435477
• generalized_linkage ( 7,1 ) : 268435477
• generalized_linkage_multipleblocks ( show
  [7, 7],[0, 1]
  ) : 268435477
• CKMP2019_Cor_42 ( (7, 7) ) : 268435457
• CKMP2019_Lem_41 ( (7, 7) ) : 268435457
• generalized_linkage ( 7,2 ) : 268435457
• generalized_linkage ( 7,3 ) : 268435457
• generalized_linkage_multipleblocks ( show
  [7, 7],[0, 2]
  ) : 268435457
• generalized_linkage_multipleblocks ( show
  [7, 7],[0, 3]
  ) : 268435457
• improved_linkage ( 7 ) : 268435457
• linkage_GLT ( 7 ) : 268435457
• multicomponent ( ) : 268435457
• LMRD ( ) : 268435456
• HKK_lemma_2_4_lower_bound ( ) : 33556666
• JohnsonLB ( ) : 33424904
• generalized_linkage ( 8,1 ) : 2097193
• generalized_linkage_multipleblocks ( show
  [8, 6],[0, 1]
  ) : 2097193
• generalized_linkage ( 8,2 ) : 2097153
• generalized_linkage ( 8,3 ) : 2097153
• generalized_linkage_multipleblocks ( show
  [8, 6],[0, 2]
  ) : 2097153
• generalized_linkage_multipleblocks ( show
  [8, 6],[0, 3]
  ) : 2097153
• improved_linkage ( 8 ) : 2097153
• sphere_covering ( ) : 26828
• generalized_linkage ( 9,2 ) : 16385
• generalized_linkage ( 9,3 ) : 16385
• generalized_linkage_multipleblocks ( show
  [9, 5],[0, 2]
  ) : 16385
• generalized_linkage_multipleblocks ( show
  [9, 5],[0, 3]
  ) : 16385
• improved_linkage ( 9 ) : 16385
• graham_sloane ( ) : 437
• generalized_linkage ( 10,3 ) : 129
• generalized_linkage_multipleblocks ( show
  [10, 4],[0, 3]
  ) : 129
• improved_linkage ( 10 ) : 129
• trivial_1 ( ) : 0

Upper bounds

• Ahlswede_Aydinian ( 0, 13 ) : 292437324
• Ahlswede_Aydinian ( 0, 13, o ) : 292437324
• ilp_1 ( 1 ) : 292437324
• ilp_4 ( 13 ) : 292437324
• improved_johnson ( ) : 292437324
• johnson_1 ( ) : 292437324
• johnson_2 ( ) : 292437324
• Ahlswede_Aydinian ( 0, 12 ) : 292437422
• Ahlswede_Aydinian ( 0, 12, o ) : 292437422
• ilp_1 ( 2 ) : 292437422
• ilp_4 ( 12 ) : 292437422
• Ahlswede_Aydinian ( 0, 11 ) : 292450407
• Ahlswede_Aydinian ( 0, 11, o ) : 292450407
• ilp_1 ( 3 ) : 292450407
• ilp_4 ( 11 ) : 292450407
• Ahlswede_Aydinian ( 0, 10 ) : 302346456
• Ahlswede_Aydinian ( 3, 4 ) : 302346456
• Ahlswede_Aydinian ( 0, 10, o ) : 302346456
• Ahlswede_Aydinian ( 3, 4, o ) : 302346456
• anticode ( ) : 302346456
• ilp_2 ( 4 ) : 302346456
• ilp_3 ( 10 ) : 302346456
• linear_programming_bound ( ) : 302346456
• Ahlswede_Aydinian ( 3, 5 ) : 304361907
• Ahlswede_Aydinian ( 3, 5, o ) : 304361907
• Ahlswede_Aydinian ( 3, 6 ) : 308450428
• Ahlswede_Aydinian ( 3, 6, o ) : 308450428
• Ahlswede_Aydinian ( 3, 7 ) : 316864820
• Ahlswede_Aydinian ( 3, 7, o ) : 316864820
• Ahlswede_Aydinian ( 3, 8 ) : 334701399
• Ahlswede_Aydinian ( 3, 8, o ) : 334701399
• Ahlswede_Aydinian ( 1, 13 ) : 339800774
• Ahlswede_Aydinian ( 1, 13, o ) : 339800774
• Ahlswede_Aydinian ( 3, 9 ) : 374934943
• Ahlswede_Aydinian ( 3, 9, o ) : 374934943
• Ahlswede_Aydinian ( 2, 12 ) : 445207739
• Ahlswede_Aydinian ( 2, 12, o ) : 445207739
• Ahlswede_Aydinian ( 3, 10 ) : 479175014
• Ahlswede_Aydinian ( 3, 10, o ) : 479175014
• Ahlswede_Aydinian ( 2, 11 ) : 522970490
• Ahlswede_Aydinian ( 2, 11, o ) : 522970490
• Ahlswede_Aydinian ( 2, 7 ) : 691221215
• Ahlswede_Aydinian ( 2, 7, o ) : 691221215
• Ahlswede_Aydinian ( 1, 8 ) : 705437279
• Ahlswede_Aydinian ( 2, 6 ) : 705437279
• Ahlswede_Aydinian ( 1, 8, o ) : 705437279
• Ahlswede_Aydinian ( 2, 6, o ) : 705437279
• Ahlswede_Aydinian ( 2, 8 ) : 707398602
• Ahlswede_Aydinian ( 2, 8, o ) : 707398602
• Ahlswede_Aydinian ( 1, 9 ) : 716723201
• Ahlswede_Aydinian ( 1, 9, o ) : 716723201
• Ahlswede_Aydinian ( 1, 10 ) : 740176248
• Ahlswede_Aydinian ( 1, 10, o ) : 740176248
• Ahlswede_Aydinian ( 2, 9 ) : 742155314
• Ahlswede_Aydinian ( 2, 9, o ) : 742155314
• Ahlswede_Aydinian ( 1, 11 ) : 792568852
• Ahlswede_Aydinian ( 1, 11, o ) : 792568852
• Ahlswede_Aydinian ( 2, 10 ) : 820191037
• Ahlswede_Aydinian ( 2, 10, o ) : 820191037
• Ahlswede_Aydinian ( 3, 11 ) : 866251507
• Ahlswede_Aydinian ( 3, 11, o ) : 866251507
• singleton ( ) : 866251507
• Ahlswede_Aydinian ( 1, 12 ) : 923285816
• Ahlswede_Aydinian ( 1, 12, o ) : 923285816
• Ahlswede_Aydinian ( 0, 9 ) : 44185774959
• Ahlswede_Aydinian ( 2, 5 ) : 44185774959
• Ahlswede_Aydinian ( 0, 9, o ) : 44185774959
• Ahlswede_Aydinian ( 2, 5, o ) : 44185774959
• ilp_2 ( 5 ) : 44185774959
• ilp_3 ( 9 ) : 44185774959
• Ahlswede_Aydinian ( 1, 7 ) : 59493757877
• Ahlswede_Aydinian ( 1, 7, o ) : 59493757877
• sphere_packing ( ) : 59493757877
• Ahlswede_Aydinian ( 0, 8 ) : 7526310334829
• Ahlswede_Aydinian ( 1, 6 ) : 7526310334829
• Ahlswede_Aydinian ( 0, 8, o ) : 7526310334829
• Ahlswede_Aydinian ( 1, 6, o ) : 7526310334829
• ilp_2 ( 6 ) : 7526310334829
• ilp_3 ( 8 ) : 7526310334829
• Ahlswede_Aydinian ( 0, 7 ) : 1919209135381395
• Ahlswede_Aydinian ( 0, 7, o ) : 1919209135381395
• all_subs ( ) : 1919209135381395

Bound for codes containing the lifted MRD code

Do you have better bounds?