Additive symmetric: the non-negative case - LARA - Libre accès aux rapports scientifiques et techniques
Rapport (Rapport De Recherche) Année : 2001

Additive symmetric: the non-negative case

Résumé

An additive symmetric b of a with respect to c satisfies c = (a+b)/2. Existence and uniqueness of such b are basic properties in exact arithmetic that fail when a and b are floating point numbers and the computation of c performed in IEEE-754 like arithmetic. We exhibit and prove conditions on the existence, the uniqueness and the exact correspondence of an additive symmetric when b and c have the same sign.
Un symétrique additif b de a para rapport à c vérifie c=(a+b)/2. l’existence et l'unicité d'un tel b est une propriété de base en arithmétique exacte qui disparait quand a et b sont des nombres à virgule flottante et quand le calcul de c est effectué dans une arithmétique de type IEEE-754. Nous présentons et nous prouvons des conditions sur l'existence, l'unicité et l’égalité avec le symétrique exact dans le cas où b et c sont de même signe.
Fichier principal
Vignette du fichier
RR2001-06.pdf (300.56 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-02101768 , version 1 (17-04-2019)

Identifiants

  • HAL Id : hal-02101768 , version 1

Citer

Marc Daumas, Philippe Langlois. Additive symmetric: the non-negative case. [Research Report] LIP RR-2001-06, Laboratoire de l'informatique du parallélisme. 2001, 2+11p. ⟨hal-02101768⟩
34 Consultations
64 Téléchargements

Partager

More