24 Nov
2003
24 Nov
'03
5:47 p.m.
On Sun, Nov 23, 2003 at 02:21:09PM +0100, Robert Reitmeier wrote:
HUGS says:
Main> :version -- Hugs Version December 2001 Main> (-1)%1 -1 % 1 Main> recip ((-1)%1) 1 % -1 Main> (recip ((-1)%1))+(1%1) 0 % -1 Main> ((recip ((-1)%1))+(1%1))==0 False
It's the same with HUGS Version November 2002, which is the newest I know of.
Thanks for the report -- this one is already fixed in the development version, which will be released Real Soon Now.