Motion P1788/M0010.22:ElementaryFunctions: YES

[Michel Hack <hack@xxxxxxxxxxxxxx>]

I vote YES on Motion 10 version 2.2 -- including the general "pow"
function as amended by Stefan.  (I assume "\exists 0<y \in yy" means
that the epxonent yy contains strictly positive points, as "there
exists a 0 less than y \in yy" makes no sense.)

Note:  Baker's vote invitation was:
> Subject: Motion P1788/M0010.20:ElementaryFunctions: Voting period begins

There is some confusion about the M0010.20 however -- perhaps it
should be denoted M0010.22.  That's because earlier we were asked
to vote separately on three items:
>     M0010.10 List of required functions
>     M0010.20 Postpone details
>     M0010.30 General power

Michel.
---Sent: 2009-12-02 14:49:07 UTC