By an [n,k,d] code, I mean a binary linear code of length n, dimension k (as a vector space), and minimum distance
at least
d. Please note that many people require that an [n,k,d] code have minimum distance
exactly
d.