[ruby-dev:1714] Re: infinity

けいじゅ＠日本ラショナルソフトウェアです.

In [ruby-dev :01705 ] the message: "[ruby-dev:1705] Re: infinity ", on
Mar/12 02:01(JST) Shugo Maeda writes:

>前田です。

>そうですね...。
>そうするとそちらの無限大クラスの方の演算は相手がFloat::InfやFloat::NaNや
>だった場合は例外を上げるのが良いでしょうか。

1. NaNとの演算は例外. Numeric::Infinityは, 通常のrubyのモデルにしたがっ
   て不定な結果は例外だから.
2. Float::Infはあくまでも(非常に大きい)有限の数と考えて, 通常のfloatと
   同じにする. 

というのでいかがでしょうか?

># モジュールでFloat#inf?を定義ということになると、モジュールがprovide
># されているかどうかで処理を変えないといけませんね。

そうするとこのような判断入らなくなりますね.

ちなみに以下のような演算が定義できると思います.

Infinity + float -> Infinity
Infinity - float -> Infinity
Infinity * (float>0) -> Infinity
Infinity * 0.0 -> Exception
Infinity * (float<0) -> -Infinity
Infinity / (float>0) -> Infinity
Infinity / (0.0) -> Exception
Infinity / (float<0) -> -Infinity
Infinity > float -> true
Infinity >= float -> true

上記はfloatとなっていますがIntegerでもだいたい同じです. 

Infinity % int => Exception
int % Infinity => int(or Exception)

Infinityどうしの演算は以下のようになります.

Infinity + Infinity -> Infinity
Infinity - Infinity -> Exception
Infinity * Infinity -> Infinity
Infinity * -Infinity -> -Infinity
Infinity / Infinity -> Exeption
Infinity / (-Infinity) -> Exception
Infinity % Infinity => Exception
Infinity % Infinity => Exception
Infinity > Infinity -> false(or Exception)
Infinity >= Infinity -> true

Infinity > Infinityが微妙ですが, falseにならないと使いにくいことがあり
そうなので...

__
................................石塚 圭樹＠日本ラショナルソフトェア...
----------------------------------->> e-mail: [e-mail] <<---