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