Is the following behavior normal?
In[1]:= Simplify[Abs[Sign[x]],x>=0]
Out[1]= Abs[Sign[x]]
In[2]:= FullSimplify[Abs[Sign[x]],x>=0]
Out[2]= 1
In[3]:= $Version
Out[3]= 4.1 for Sun Solaris (November 8, 2000)
In this case I would have expected FullSimplify to give the save
answer as Simplify, as I was (naively?) assuming Abs[Sign[0]] equals
zero. What am I missing? (Note I get the same output
for Version 4.0 for Linux (July 22, 1999).)
AC