Re: Question about the real and integer formats

From: Bede Leung <>
Date: Fri 08 Jul 2005 08:33:34 AM GMT
Message-ID: <>
ludovic picouays wrote:

> I want to convert a real number (1.0) to an integer (1) format.
> I've been searching for some time  but I didn't find anything to do
> this. I think it's simple but I don't have the solution or the
> predicate to do that.
> Best regards,
> Ludovic
ECLiPSe Constraint Logic Programming System [kernel]
Kernel and basic libraries copyright Cisco Technology Inc
Academic licensing through Imperial College London, see
GMP library copyright Free Software Foundation, see legal/lgpl.txt
For other libraries see their individual copyright notices
Version 5.8 #82, Wed Feb 16 00:08 2005
[eclipse 1]: integer(1).

Yes (0.00s cpu)
[eclipse 2]: integer(1.0).

No (0.00s cpu)
[eclipse 3]: A is fix(1.0), integer(A).

A = 1
Yes (0.00s cpu)

Hope this helps

Received on Fri Jul 08 10:23:12 2005

This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:07:37 PM GMT GMT