This issue tracker has been migrated to GitHub, and is currently read-only.
For more information, see the GitHub FAQs in the Python's Developer Guide.

Author Michael.Felt
Recipients David.Edelsohn, Michael.Felt, lemburg, mark.dickinson, rhettinger, stutzbach, vstinner
Date 2020-12-21.15:53:31
SpamBayes Score -1.0
Marked as misclassified Yes
Message-id <1608566011.35.0.35917627866.issue42323@roundup.psfhosted.org>
In-reply-to
Content
I have been doing a lot of research on this. Wish I had thought do start the way I finished.

Basically, when math.nextafter() was added all the AIX bots were on systems running AIX earlier than AIX 7.2 TL2.

When AIX 7.2 TL2 was released (roughly Q3 2017) a (major?) change was made to the nextafter() function.

root@gcc119:[/home2/root]instfix -k IV95512 -a
IV95512 Abstract: nextafter(+0.0, -0.0) returns +0.0 instead of -0.0.

IV95512 Symptom Text:
 If(x==y) nextafter returns x instead of y.

At first glance - it appears the CPython code is reversing the arguments:

The lines in test_math.py are currently:
 +2026          # NaN
 +2027          self.assertIsNaN(math.nextafter(NAN, 1.0))
 +2028          self.assertIsNaN(math.nextafter(1.0, NAN))
 +2029          self.assertIsNaN(math.nextafter(NAN, NAN))

Moving line 2027 (which is what is failing) to 2029 - the other two lines pass on an AIX system with IV95512 applied. 

As IEEE754 says (and seems to have always said):

https://pubs.opengroup.org/onlinepubs/9699919799: 

If x or y is NaN, a NaN shall be returned.

The current test in Modules/mathmodule.c might be too simple.

I am working on a PR where I check for presence of APAR IV95512 - with the nextafter() changes.
History
Date User Action Args
2020-12-21 15:53:31Michael.Feltsetrecipients: + Michael.Felt, lemburg, rhettinger, mark.dickinson, vstinner, stutzbach, David.Edelsohn
2020-12-21 15:53:31Michael.Feltsetmessageid: <1608566011.35.0.35917627866.issue42323@roundup.psfhosted.org>
2020-12-21 15:53:31Michael.Feltlinkissue42323 messages
2020-12-21 15:53:31Michael.Feltcreate