amb_space 3

number_field min_poly (a^2 - 5) embedding [2 +/- 1]

inequalities 3 sparse
1:(a) 3:1;
2:(1/2*a+1);
1:-1 2:(-a+1/2);