English version

Sipe

Introduction

Sipe est une mini-bibliothèque sous forme de fichier d'en-tête C permettant d'effectuer des calculs à virgule flottante en base 2 à très basses précisions avec arrondi correct. Par défaut, l'arrondi se fait au plus près (avec la règle d'arrondi pair). À partir de 2013-09, l'arrondi peut se faire vers zéro; l'utilisateur ne peut choisir la direction d'arrondi qu'à la compilation.

Le but d'un tel outil est de faire des preuves d'algorithmes/propriétés ou des calculs de bornes d'erreur fines dans ces précisions par des tests exhaustifs, afin de les généraliser à des précisions supérieures. Les opérations actuellement supportées sont l'addition, la soustraction, la multiplication (éventuellement avec le terme d'erreur), le FMA/FMS (optionnel, voir le code), et diverses comparaisons et conversions.

Sipe signifiait à l'origine Small Integer Plus Exponent à cause de la façon dont elle était implémentée, mais ce n'est plus la seule implémentation.

Source

Fichier source (version de développement): sipe.h

Une courte documentation se trouve au début du fichier.

Versions archivées:

Exemples de programmes utilisant Sipe

Publications



webmaster@vinc17.org