var_range changes behaviour if eplex loaded

From: Jonathan M. Lever <jml_at_icparc.ic.ac.uk>
Date: Fri 02 May 2003 01:29:18 PM GMT
Message-ID: <20030502142918.A27294@tempest.icparc.ic.ac.uk>
Hi,

You may well know already, but var_range reports zero differently according to whether eplex is loaded.

E.g. 1       lib(range).
2       lib(ria).
3       ria : (X :: 0 .. 10), var_range(X, L, H).
4       lib(eplex).
5       ria : (X :: 0 .. 10), var_range(X, L, H).

3 gives L = 0.0 whereas 5 gives L = -0.0

Doing something like ria:(L >= 0) is a workaround.

Ran into this this week, as a test VarMin == 0.0 started failing.
Think it's the same in 5.4, 5.5 and prerelease.

Cheers,

Jonathan
Received on Fri May 02 14:29:19 2003

This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:08:21 PM GMT GMT