Jurgen and P1788,
I noticed a few typos in the proposed motion:
For root, the domain should be [0,oo)xZ
For rSqrt, the domain should be (0,oo) , with the zero excluded
For compound, the domain should be (-1, oo)xZ with the one excluded due to cases of negative powers which lead to division by zero, otherwise, you can make it [-1,oo)xN
For logp1, the domain should be (-1, oo) with the one excluded.
For all the functions in table 2 that have a division by x we must exclude zero obviously.
For pow, I prefer that we allow the full domain of RxR. For me, pow is the most general form of sqr, pown, sqrt, powr, root, rSqrt, and compound. Hence, I think that we should not prevent someone who wants to calculate (-32)^(0.2)=-2 from doing just that in a simple fashion as pow(-32,0.2).
Hope this is useful.
--
Hossam A. H. Fahmy
Assistant Professor
Electronics and Communications Department
Cairo University
Egypt