Title: Vector spaces and linear inequalities