From: Yukihiro Matsumoto <matz@...>
Date: 2008-04-02T23:34:23+09:00
Subject: [ruby-dev:34230] Re: Complex組み込み

まつもと ゆきひろです

In message "Re: [ruby-dev:34229] Re: Complex組み込み"
    on Wed, 2 Apr 2008 23:27:36 +0900, Tadayoshi Funaba <tadf@dotrb.org> writes:

|正確というのがどういうものかわかりませんが、基本的には、それでいいと思
|います。rational を返すがいいと思いますが、それはまた別の課題だと考え
|ていいと思います。

さっきコミットしたコードではrdiv, quoはRationalを返すように
してみました。これで問題が起きないかどうか確認する必要があり
ますね。

|10年近く前の議論でも少し話がありましたが、Float は別もので、Float をつ
|かうと、汚染される、ということになっていますね。Common Lisp では、
|floating-point contagion というようですが。

そうみたいですね。今回、floatを含む割り算は

  * /ではfloat
  * rdiv, quoでは(むりやり)rational

という風にしてみました。rdivがfloatを返すのはおかしいし、quo
はたぶんrdivのaliasだろうと考えたからです。