amb_space 1
inequalities 2
1
-1
polynomial
1/2+x[1];
VirtualMultiplicity