In addition to examples in that thread, here is another one,

solve({a<=a*b,b<=1});
                            {a = a, b = b}

Alec


Please Wait...