23 Apr
2003
23 Apr
'03
6:56 p.m.
Folks
One of my students drew my attention to the following unexpected result from CIAO:
?- X is 1926/100.
X = 19.2600000000000029 ?
Why is the "29" appearing at the end? Is this only happening in our current version?
--
Wamberto Vasconcelos, PhD wvasconcelos(a)acm.org
Department of Computing Science http://www.csd.abdn.ac.uk/~wvasconc
University of Aberdeen, Aberdeen AB24 3UE, Scotland, UK
Phone +44 (0)1224 272283 Fax +44 (0)1224 273422
==============================================================================
Message: Address: Action:
help majordomo(a)clip.dia.fi.upm.es Info. on useful commands
subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list
unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list
<whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list
-----------------------------------------------------------------------------
Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/
-----------------------------------------------------------------------------