À l'occasion de la conférence ARITH-21 à Austin, Texas, USA, où j'ai présenté ma mini-bibliothèque Sipe (anciennement SIPE) le mois dernier, j'ai créé une nouvelle page web dédiée à Sipe, que je viens de mettre à jour. Je fournis maintenant des exemples et des liens sur mes publications et ma présentation à ARITH-21.
La bibliothèque GNU MPFR 3.1.2 (canard à l'orange, patch level 2) est sortie. Les changements par rapport à la version 3.1.1: corrections de bugs (liste détaillée sur la page de MPFR 3.1.1) et mise à jour des exemples à l'API de MPFR 3.x.
Note: Les archives officielles jusqu'à MPFR 3.1.1 sont affectées par un bug de GNU Automake introduisant une vulnérabilité dans make distcheck. Une des raisons de cette nouvelle version est de fournir des archives sans cette vulnérabilité.
GNU MPFR 3.1.2 Release Candidate is available (bug fixes).
Nous avons reçu une annonce disant que pour cause de maintenance technique, l'ensemble des systèmes informatiques du Loria sera arrêté du vendredi 8 février 2013 à 17:30 CET [16:30 UTC] au samedi 9 février 2013 à 18:00 CET [17:00 UTC] (sauf imprévu). Seul le serveur web mpfr.org sera affecté par cet arrêt (ainsi que le courrier envoyé à l'ancienne adresse @loria.fr de la liste de diffusion de MPFR). Merci pour votre compréhension.
De plus, toutes les archives MPFR sont affectées par un bug de GNU Automake introduisant une vulnérabilité dans make distcheck; les utilisateurs de cette commande devraient lire les détails ici.
Une école thématique à laquelle je vais intervenir (session sur l'arithmétique flottante en précision arbitraire, et plus particulièrement sur GNU MPFR): école Précision et Reproductibilité en Calcul Numérique, Fréjus (centre CAES du CNRS), 25-29 mars 2013.
Date limite d'inscription: 15 février 2013.
Depuis deux jours, il est maintenant possible de se connecter à vinc17.net et www.vinc17.net via https, e.g. https://vinc17.net/ ou, de manière équivalente, https://www.vinc17.net/. Noter que le certificat est valide seulement pour ces deux noms, si bien que la connexion est complètement sécurisée seulement pour ces deux préfixes d'URL, pas pour les URL avec vinc17.org (je ne veux juste pas payer pour un service qui serait identique).
En tant qu'utilisateur d'InriaForge, j'ai reçu une annonce disant qu'InriaForge sera indisponible le 2012-12-11 de 14:00 à 16:00 CET (13:00 à 15:00 UTC). Ceci affectera les pages de projet MPFR, le dépôt MPFR et l'outil de suivi, mais ni le site web de MPFR, ni les listes de diffusion.
For C programmers of numerical codes, here's a status of floating-point related bugs in GCC and the GNU C Library (glibc), at least those I've been interested in (and some of which I reported). I have grouped them into 4 classes.
In relation to the ISO C standard, still not fixed:
Elementary functions, bugs fixed by Joseph Myers and Andreas Jaeger in March/April 2012, except for the last one (still open – [Update: fixed on 2012-11-28]):
GNU C Library bug 2678: pow returns incorrect results on underflow
GNU C Library bug 3866: pow(double, double) does not fulfil several of C99's requirements
GNU C Library bug 3976: libm rounding modes do not work correctly for many archs
GNU C Library bug 13658: sincos() is incorrect for large inputs on x86_64
GNU C Library bug 13852: sincosf(), sinf(), cosf(), tanf() are incorrect for large inputs on x86
GNU C Library bug 13854: tan() is incorrect for large inputs on x86_64 and x86
Bugs involving radix conversions, fixed by Joseph Myers in August/September 2012:
GNU C Library bug 13304: fma, fmaf, fmal produce wrong results, still open.
Les patches 1 et 2 de GNU MPFR 3.1.1 sont disponibles dans la section bugs de la page de MPFR 3.1.1. Le patch 1 corrige plusieurs bugs dans la fonction mpfr_get_decimal64 (disponible uniquement lorsque MPFR a explicitement été configurée avec l'option --enable-decimal-float). Le patch 2 corrige un bug dans la fonction mpfr_strtofr: sa valeur ternaire peut être incorrecte dans des conditions particulières.
La bibliothèque GNU MPFR 3.1.1 (canard à l'orange, patch level 1) est sortie. Les changements par rapport à la version 3.1.0: améliorations du manuel et corrections de bugs (liste détaillée sur la page de MPFR 3.1.0).
Nous avons reçu une annonce disant que pour cause de maintenance technique, l'ensemble des systèmes informatiques du Loria sera arrêté du vendredi 1er juin 2012 à 17:30 CEST [15:30 UTC] au samedi 2 juin 2012 à 19:00 CEST [17:00 UTC] (sauf imprévu). Seul le serveur web mpfr.org sera affecté par cet arrêt (ainsi que le courrier envoyé à l'ancienne adresse @loria.fr de la liste de diffusion de MPFR).
Merci pour votre compréhension.
Une réunion de développeurs MPFR-MPC aura lieu du 25 au 27 juin 2012 à Bordeaux, France. Plus d'information.
Les patches 9 et 10 de GNU MPFR 3.1.0 sont disponibles dans la section bugs de la page de MPFR 3.1.0. Ils corrigent des bugs liés à l'overflow/underflow dans la fonction mpfr_gamma.
Les listes de diffusion de MPFR (la principale et celle d'annonces) seront migrées sur un nouveau serveur le jeudi 3 mai 2012 de 9:30 CEST (7:30 UTC) à 11:30 CEST (9:30 UTC) environ. Pendant cette migration, les messages postés seront mis en file d'attente jusqu'à ce que le nouveau serveur soit opérationnel, et l'interface web du serveur de listes sera indisponible. Une fois la migration terminée, l'interface web sera disponible à une nouvelle adresse (éventuellement en plus de l'ancienne?).
Peu après la migration, le serveur web de MPFR sera mis à jour pour refléter ces changements.
Les patches 7 et 8 de GNU MPFR 3.1.0 sont disponibles dans la section bugs de la page de MPFR 3.1.0. Le premier corrige un problème avec de très grandes précisions, proches de la limite théorique provenant du type utilisé pour la précision. Le second permet d'utiliser MPFR avec la version de développement de GMP (et les futures versions à partir de la 5.1.0).