amb_space auto
inequalities
[[-1  2] [3 -1]]