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