Changes between Initial Version and Version 1 of Ticket #19623, comment 8
 Timestamp:
 01/22/16 16:04:05 (6 years ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

Ticket #19623, comment 8
initial v1 5 5 > Did you prove that if there are no coset leaders of weight t, then there are no coset leaders of t+1? (i.e. that your early termination is sound) 6 6 7 It comes from theorem 1.12.6, prop. 5 in Huffman and Pless7 It comes from theorem 1.12.6, prop. 5 (page 51) in Huffman and Pless 8 8 9 Theorem 1.12.6Let C be an [n, k] code over F q . Let C*9 '''Theorem 1.12.6''' Let C be an [n, k] code over F q . Let C* 10 10 a code obtained from C by puncturing on some coordinate. The following hold: 11 11