Motion P1788/M0010.22: ElementaryFunctions: YES
Motion P1788/M0010.22: ElementaryFunctions: My vote is YES
I haven't had the time to read the discussion yet, but here are
a few comments:
* General Power Function:
It is said: "If p is odd the result is negative otherwise positive."
but in the interval version, both the negative value and the positive
value are included. This is really strange (a simplification?), at
least in the case of a point interval, and I think that there should
be some comment about it.
2 missing closing parentheses in the case x < 0.
The non-standard notation "\exists 0 < y \in \mathbf{y}" is difficult
to parse and should be rewritten: \exists y \in \mathbf{y},\ y > 0
* Page 3, atanh
The rough domain is (-1,1), not [-1,1]. And II[-1,1] needs to be
changed into II(-1,1).
* Page 4, atanPi and atan2Pi
The range is incorrect. It should be (-1/2,1/2) for atanPi, and
AFAIK, (-1,1] for atan2Pi.
* Page 4, gamma and lgamma
The domain should exclude the non-positive integers.
--
Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <http://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / Arénaire project (LIP, ENS-Lyon)