Path: utzoo!mnetor!uunet!yale!lisper-bjorn
From: lisper-bjorn@CS.YALE.EDU (Bjorn Lisper)
Newsgroups: comp.arch
Subject: Re: Yet another dumb question
Message-ID: <26615@yale-celray.yale.UUCP>
Date: 6 Apr 88 18:06:46 GMT
References: <559@a.UUCP>
Sender: root@yale.UUCP
Reply-To: lisper-bjorn@CS.YALE.EDU (Bjorn Lisper)
Distribution: na
Organization: Yale University Computer Science Dept, New Haven CT  06520-2158
Lines: 11
Keywords: Floating point, condition codes

In article <559@a.UUCP> jlg@a.UUCP (Jim Giles) writes:
....
>Note, I have assumed that infinities are unordered - is there still an
>affine vs. projective mode?  Should infinity compare equal to itself?

Without any regard to possible complications of implementation - it seems
mathematically unsound to have INF = INF. This is equivalent to saying such
a thing as a/0 = b/0, frequently used as a "trick" in "proofs" of such
statements as "n = n + 1".

Bjorn Lisper