Matrix-vector representation of a system of linear inequalities

[odow]

Perhaps it is time to make this a public function. People seem to keep wanting it