GNU Prolog (small bug)
STREBELLE Alain <[email protected]>
| Newsgroups | gmane.comp.gnu.prolog.bugs |
|---|---|
| Message-ID | <[email protected]> |
Daniel,
Thank you for the very high quality of GNU Prolog (and of the
documentation).
I am just starting migrating a program I had developped on LPA Prolog
several years ago, so I have not gone very far yet. However, I am
encountering the following small bug in the math processing, probably
linked to precision handling :
Normal behaviour (extract from trace) :
32 14 Exit: 0.50500011444091797 is
abs(float_fractional_part(755934729.50500011)) ?
Abnormal behaviour :
35 15 Exit: 5411863648.0500011 is
abs(float_fractional_part(7559347295.0500011)) ?
!!!
My system is a Mac OS X 10.2.4. You will find below an extract of my
system profile.
I am using GNU Prolog 1.2.16, compiled on my system, using defaults from
.configure.
Txs & BRs
Alain Strebelle
Systems Architect
SWIFT
Avenue Adèle, 1
B-1310 La Hulpe
BELGIUM
Tel: +32 2 655 36 43
Fax: +32 2 655 33 45
eMail: [email protected]
---------------------------------------------------
System Profile
---------------------------------------------------
Software Overview:
+----------------------------------------------------------------------+
|
|
| System version : Mac OS X 10.2.4 (6I32)
|
| Boot volume : ASTHD3
|
| Kernel version : Darwin Kernel Version 6.4: Wed
Jan 29 18:50:42 PST 2003; root:xnu/xnu-344.26.obj~1/RELEASE_PPC |
| User name : STREBELLE Alain (astrebel)
|
|
|
+----------------------------------------------------------------------+
Hardware Overview:
+----------------------------------------------------------------------+
|
|
| Machine speed : 800 MHz
|
| Bus speed : 133 MHz
|
| Number of processors : 2
|
| L2 cache size : 256K (times 2)
|
| L3 cache size : 2MB (times 2)
|
| Machine model : Power Mac G4 (version = 2.1)
|
| Boot ROM info : 4.2.5f1
|
| Customer serial number : CK140H15-L50-ff11
|
| Sales order number : Not available
|
|
|
+----------------------------------------------------------------------+
Memory Overview:
Location Type Size
DIMM0/J21 SDRAM 256 MB
DIMM1/J22 SDRAM 256 MB
DIMM2/J23 empty