[no subject]

*From*: mathgroup-adm at christensen.cybernetics.net*Date*: Wed, 26 Oct 1994 01:04:09 -0500*Apparently-to*: <wri-mathgroup at wri.com>*Apparently-to*: <ianc at wri.com>

-------------- From: MX%"Jack.Goldberg at math.lsa.umich.edu" 21-OCT-1994 05:21 In a recent note to sci.math.symbolic, Richard Chen at Yale (I believe this is correct) asked how to simplify the output of Integrate[sec[x],{x,0,ArcCos[s]}] <snip> ArcTrig[Trig[x]] = x, where Trig is any of Cos, Sin, Tan etc. There is no single command that does this but I think there ought to be. I'll go one step further. Let f be a function with an inverse, InverseFunction[f]. Now f[InverseFunction[f][x]] = x but this simplification does not occur in the other order InverseFunction[f][f[x]] <snip> I think this is deliberate on the part of Mma and not necessarily bad. You can get into trouble simplifying things because the inverse of a function is not necessarily a function itself because they may not be single valued. The trig functions are good examples. The Sin is single valued but the Arcsin is not. The user may not want the principle value given by an ordinary calculator. Depending on the problem, the user may be the best one to choose the value of the inverse among many possible ones. Chip