Motion P1788/M0031.01:Level_1_text -- YES

[Michel Hack <mhack@xxxxxxx>]

I vote YES on Motion P1788/M0030.01:Level_1_text.

I do so because I believe the kinds of correction that I will suggest
do not detract from the intrinsic value of the work that has been put
into this motion.  In fact, I only offer one:

   change "powr" to "powq" for the 3-argument rational-power function.

(This was mentioned already).

I also agree with Vincent's recommendations for stylistic improvement.

I'm less sympathetic to Vincent's request to define inf(Empty) and
sup(Empty) as suggested by Dan Zuras' "Table 4 proposal version 0.2"
(namely +oo and -oo, respectively).  Dan's argument is actually pretty
strong for these, but the same proposal included the early attempts
to define midpoint, and we're still having trouble with that.  So I'm
comfortable with leaving a couple of numeric Level 1 functions Undefined
for Empty or Unbounded intervals.  Level 2 will supply the appropriate
definitions.

Michel.
---Sent: 2012-04-16 18:06:42 UTC