From: Shin-ichiro HARA <sinara@...>
Date: 1998-03-23T13:32:53+09:00
Subject: [ruby-dev:1892] Re: infinity

原です。

このスレッド長いですね。(^^;

||あ. いえ. 両方OKです. 
||
||  Infinity op (-)Infinity
||
||を例外にするという意味でした. そうすると, 
||
||  t < Inf
||  0 < Inf - t
||  1 < Int / t [t > 0]
||
||などでも, 全ての数で同値になります. tが普通の数なら真, tがInfなら例外
||(^^;;;
|
|なるほど、Infinity op 非Infinityなら比較に限らず演算を許す、という
|ことですね。

しかし 2 * Inf はいいけど、Inf + Inf はナラン！というのも、おかしい
ですよね。

2 * Inf = (1 + 1) * Inf != 1 * Inf + 1 * Inf = Inf + Inf

つまり分配則をすてているわけか。

石塚さんの [ruby-dev:1778] で Infinity * 0 = 0 としたものってのは
どうでしょうか。