amb_space 2
inhom_inequalities 3
  0  2  1
  0 -2  3
  2 -2  3
/* grading 
  7 0 */