I think that 'domain' command should intersect its result with the set obtained by 'about' command (the real case).
For example, when entering
Code : Tout sélectionner
assume(x<1);
domain(ln(x),x)
Also, by doing the intersection domain(x) would return x<1, i.e. the domain of x.