From: Yukihiro Matsumoto <matz@...>
Date: 2009-06-17T00:19:04+09:00
Subject: [ruby-dev:38661] Re: Fixnum#fdiv

まつもと ゆきひろです

In message "Re: [ruby-dev:38660] Re: Fixnum#fdiv"
    on Tue, 16 Jun 2009 23:52:39 +0900, Tadayoshi Funaba <tadf@dotrb.org> writes:

|>   Float(Rational(x,y))
|> 
|> と同じ結果を返す、と。そういうことであれば、私にとってすっき
|> りしますし、コストが若干気になりますが、それ以外に反対するよ
|> うな理由はどこにもありません。

|そう考えていいと思います。が、実際に有理数にすることはないと思います。

それなら納得です。私の懸念は、要するに挙動が説明できるかどう
かだけですから。

|> fdivがcomplexを返す場合、fは実部と虚部がfloatであることを示す、
|> と私は理解しています。
|
|計算対象を浮動小数点数にするのか、計算結果を浮動小数点数にするのか、こ
|こは重要な感じがするんですが、そうだとすると、Float(x)/Float(y) に近い
|感じがします。
|
|やはり、まつもとさんとしては、Float(x)/Float(y) であるべきという考えに
|傾むいてる感じですね。

いやあ、[ruby-core:11069]のような問題がある以上、
Float(x)/Float(y) の方が優れているとは考えていません。むしろ
「あるべきでない」んじゃないかな。もっとも、私自身は将来にわ
たってこの点でひっかからるような使い方はしないだろうと思いま
すから、私の考えはこの際重要ではないような気がします。

繰り返しになりますが、「より正確な除算」とかだと独立した実装
を作った場合検証できませんが、Float(Rational(x,y)) と(計算過
程は別として)同じ結果を返す、なら検証可能です。私が求めてい
るのはそれだけです。

で、ふなばさんが上で「そう考えていい」とおっしゃったので、私
には反対する理由はなくなりました。パッチをコミットしてくださっ
て構いません。

                                まつもと ゆきひろ /:|)