Describir: Sets, matrices, and linear programming