23 Nov
2003
23 Nov
'03
1:21 p.m.
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. Counterexample in GHCI:
ghci 5.04:
*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 True
Kind regards, Robert