Hi,
I would have expected last command of the following sequence to return true.
(%i1) declare(x,real);
(%o1) done
(%i2) featurep(x,real);
(%o2) true
(%i3) featurep(sin(x),real);
(%o3) true
(%i4) featurep(acos(sin(x)),real);
(%o4) false
Am I wrong ?
If so, is there a way to assume that acos(sin(x)) is real when x is real.
Thanks,
Jean