Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000038OCamlOCaml generalpublic2000-02-17 15:142000-02-22 18:28
Reporteradministrator 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionno change required 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000038: bug in num
DescriptionBonjour.

Avec caml 0.74, et utilisant la librairie num,
un appel de fonction (purement fonctionel...)
ne rend pas le meme resultat selon que les rationnels sont
systematiquement reduits ou non.

J'ai extrait un source de 60 lignes du programme initial
20 fois plus gros (normalize_ratio_when_printing false est
VRAIMENT INDISPENSABLE :) ...) Il est en attachement.

la variable hf (normalize_ratio=false) vaut chez moi :
- : nombre * nombre =
 Interval {vmin = -264/40; vmax = -146/40},
 Interval {vmin = -12/10; vmax = -9/10}

la variable ht (=hf, mais normalize_ratio a true) vaut chez moi :
- : nombre * nombre =
 Interval {vmin = -33/5; vmax = -1/2},
 Interval {vmin = -6/5; vmax = -9/10}

et -146/40 <>/ -1/2


Cordialement,
--
Dominique Michelucci Dominique.Michelucci@emse.fr
http://www.emse.fr/~micheluc [^]
Ecole Nationale Superieure des Mines de St-Etienne
158 cours Fauriel, 42023 Saint Etienne cedex 2, France
Tel: +33 4 77 42 01 73 from abroad, 04 77 42 01 73 from France
Fax: +33 4 77 42 66 66 from abroad, 04 77 42 66 66 from France

TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0002074)
administrator (administrator)
2000-02-22 18:28

Problem fixed in recent OCaml releases (see PR#39)

- Issue History
Date Modified Username Field Change
2005-11-18 10:13 administrator New Issue


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker