Basis of a linear program