amb_space 2 inhom_inequalities 3 0 2 1 0 -2 3 2 -2 3 grading unit_vector 1 IntegerHull