Solving ceiling expressions and getting interval as answer.

We have problems getting answers solving equations as ceil(a+1)==2.

We would like to get the interval 0 < a <= 1 as answer.

[Torsten]

Solve a_low + 1 = 2 - 1 = 1 to get the lower and a_high + 1 = 2 to get the upper boundary of the interval.