Difference (from prior major revision)
(no other diffs)
Added: 1a2,4
We probably need a little caveat about negative numbers: the log formula won't work without problems in that case. Maybe use a different log which is defined on the negative reals? --AxelBoldt