What is an (<i>n,k</i>) linear code over a finite field <i>F</i>?