amb_space 5
inequalities 11
-3  -3 -10  14  88
26  -3  19  14 361
-4  25   6 -49 133
 2  -3   1   5  17
-2  -3  -7  11  61
-6  23   9 -30 233
-2   7   3  -9  81
-8  17  12 -65 183
 8 -15   4  23  65
-8 -13 -28  45 241
-8  27  12 -35 321
grading
unit_vector 5
Approximate
Deg1Elements