Bounds on the minimum distance of linear codes
The dimension
k
must be positive (input: k=0)