[Python-Dev] 2.2.1c1 platform reports.

Tim Peters tim.one@comcast.net
Fri, 22 Mar 2002 15:19:24 -0500


[Hye-Shik Chang, reports on a particular sqrt implementation]
> ...
>> I'll submit PR to both of FreeBSD and NetBSD.

[Michael Hudson]
> I'm not sure it's a problem.  I believe it depends on whether you
> believe in C89 or C99, for instance.

It's cute:  even in C99, an implementation must treat sqrt(negative_number)
as a domain error.  However, under C99 rules:

    On a domain error, the function returns an implementation-defined
    value; whether the integer expression errno acquires the value
    EDOM is implementation-defined.

So while it's mandatory that an implementation detect that sqrt(-1) is a
domain error case, there's no x-platform way defined anymore for the library
to communciate the error condition to the caller.

That's why the exception test isn't run by default:  C doesn't supply any
x-platform error facility Python can build on anymore.  Python tries to
guess whether a range error occurred ("most of the time", C99 stilll
requires that HUGE_VAL specifically get returned then), but there's no way
to guess about domain errors short of Python hard-coding its own rules about
the proper domain on a function by function basis.

Do that, and in the end you get a library that still honks off IEEE-754 fans
anyway (which has its own elaborate and precise rules for dealing with fp
exceptions).

can't-win-without-more-work-than-anyone-will-give-it-ly y'rs  - tim