2 3 -1 1 0 -1 0 1 inequalities 1 3 1 0 0 dehomogenization