[ruby-dev:33820] Re: rational, complex and mathn

原です。

Tadayoshi Funaba さんは書きました:
>>> new!はRubyで実装しているためにだけ必要なので、Cで実装するな
>>> ら不要でしょう。
>> これって、Unify が定義されいるときは、Rationa.new(1, 1) が Integer
>> になるってことでしょうか(new は private だけど)。あるいは new を定
>> 義しないとか。
>
> ちょっと意味が解らなかったです。原さんのでもそうなっていると思いますけ
> ど。

そうでしたね。

今までの rational.rb の意図を確認すると…

  Rational::Unify が定義されているときは、Rational.new(1,1) で Integer
  を返させたいのだが、スクリプトレベルではそれはできない。そこで、new
  を禁止し、関数 Rational() を使わせる。そして、関数を用いた
  Rational(1, 1) では、 Unify が定義されるときは、Rational でなく
  Integer の 1 が返るようにする。これの仕組みで mathn.rb がスムーズに
  機能する。

という事ですよね。

そして、C レベルで書けば、Rational.new(1, 1) で Integer を返すことがで
きるのそうさせる可能性が出てきた、ということですね？


>>   Rational.new は Rational() と Unify が定義されていない限り同じ。
>>   Rational.new は Unify の影響を受けない。
>>   new!, reduce は廃止。
>
> Rational.new が Unify の影響を受けない、というのは、はっきりと反対した
> いです。利用者が mathn で、そういう環境を選ぶことはできても、利用者が
> 計算の過程で、そういうことを制御できるというのはおかしなことだと思いま
> す。

Rational を内部で使うライブラリで、mathn.rb を include すると、答えは
正しいが、処理速度がかなり遅くなるものがあります。そここで、Unify の影
響を受けない有理数の生成が欲しいと思ったのです。

が、ちょっと考えが足りませんでした。new だけが影響を受けなくても、他の
演算の結果は影響を受けますから。

しかし、Rational.new(1, 1) の結果が Rational でなくて、Integer になる
のは気持ち悪い気がしません？new は private のままがいいかなあ。