Changes between Initial Version and Version 1 of Ticket #19623, comment 8


Ignore:
Timestamp:
01/22/16 16:04:05 (6 years ago)
Author:
dlucas
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #19623, comment 8

    initial v1  
    55> 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)
    66
    7 It comes from theorem 1.12.6, prop. 5 in Huffman and Pless
     7It comes from theorem 1.12.6, prop. 5 (page 51) in Huffman and Pless
    88
    9 Theorem 1.12.6 Let 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*
    1010a code obtained from C by puncturing on some coordinate. The following hold:
    1111