comments on latest draft William D Clinger (04 Jun 2017 05:35 UTC)
Re: comments on latest draft William D Clinger (05 Jun 2017 18:39 UTC)
Re: comments on latest draft William D Clinger (07 Jun 2017 03:50 UTC)
Re: comments on latest draft Bradley Lucier (07 Jun 2017 19:55 UTC)
Re: comments on latest draft William D Clinger (07 Jun 2017 23:25 UTC)
Re: comments on latest draft Bradley Lucier (08 Jun 2017 01:09 UTC)
Re: comments on latest draft William D Clinger (09 Jun 2017 15:19 UTC)
Re: comments on latest draft Bradley Lucier (09 Jun 2017 17:11 UTC)
Re: comments on latest draft Bradley Lucier (09 Jun 2017 17:18 UTC)

comments on latest draft William D Clinger 04 Jun 2017 04:13 UTC

Comments on draft at

http://vrici.lojban.org/~cowan/temp/srfi-144.html

fl-2/pi

    Two to the power pi does not seem like a particularly useful
    constant, and it has nothing to do with (C99 M_2_PI), which
    is twice the *reciprocal* of pi.

fl-fast-fl+*

    What should be the value of this if fl+* is more accurate
    than the composition but slower?  (That's a likely outcome
    if fl+* is implemented via an FFI but the composition is
    implemented by dumb compilation to machine code.)

flmax, flmin

    Why are these in the "Predicates" section?

    The "fl-greatest or fl-least otherwise" at the end of the spec
    should be "fl-least or fl-greatest otherwise".

flround

    The part about "rounding to even when x represents a number
    halfway between two integers" is better than, and therefore
    incompatible with, the rounding away from zero performed by
    the cited (C99 round), so the citation is misleading.

fllog1+

    Is this really supposed to return (log x)+1 ?
    If so, the reference to (C99 log1p) is misleading, because
    that function returns log(x+1).
    I think it's supposed to return log(x+1), but is more accurate
    than fllog for values of x near 0, as with log1p.

flatan

    arctan(y/x) is not always equivalent to atan2(y,x), so
    something is wrong with this spec.

Will Clinger