[ruby-dev:1924] Re: coerce

  豊福＠パパイヤです。

  だいぶ間をあけてしまってすみません。
すでに新案の話までいっているようですが、順を追って。

>>(2) 本当は Numericクラスあたりでやらしたいことを
>>  わざわざ Scalarクラスのオブジェクトを作って
>>  それにやらしている。
>>  ==> 適用すべきメソッドを coerce の返値で教えて
>>      やってはどうか
>>  この方法で Matrix 関連を書くと次のようになります。
> 
> 言いたいことは非常に分かるんですが... 気になることを幾つか述べます.
>
> 2. Numericで行列に関する演算が定義されていて, クラスを静的に考え過ぎ
>    ているというのが気になります. というのも rubyは動的な言語なので後か
>    らクラスが追加されていくわけですが, そのたびにNumericにメソッドを定
>    義するのは気が引けるということです.

  でも今回の Matrix の件でも実質的に Numeric op Matrix
を定義しているのですから Numeric に追加できるのが一番
自然じゃないでしょうか。
  Numeric op Matrix の定義は自然なもので論理的な悪影響
はないように思えますが、再定義は避けている理由にはどの
ようなことがあるのでしょうか。

>    # ついでに言えば, Numeric::* の様な指定はできません.

  要は Numeric で定義した乗算が呼び出されるようにした
かっただけですので、もしやるんだったら "*" の再定義に
ならないように別の名前にするべきだったんでしょうか。
  例えば
    class Matrix
      def coerce(other, meth)
          ...
          case other
          when Numeric
            return other, self, numeric_mult
          ...
      end
    end
    
    class Numeric
      def numeric_mult(other)
        ...
      end
    end

> (後で話しが出てきますが) num / M の例を考えます. 
>     num * M.inverse
>     を行ないたいのですが,
>     class Matrix
>       def coerce(other, op)
>         case op
>         when :/
>           return other, self.inverse, :*
>       end
>     end
>     で, できますね. これなんかは演算子を変えてかつそれ用の型変換を行なっ
>     ていると考えることもできます.

  なるほど、こういう使い道もあるとは考えていませんでした。

>>  ついでに matrix.rb での質問です。
  ...
>>の powered_by って何ですか。
>>  ここはエラーにしそうなところですが。
>>まさか exp(M) を計算して返そうと・・・
> 
> 多分その通りです. jordan標準形が求まればexp(M)は求まりますし...

  半分冗談のつもりで書いたのですが本当にそのつもり
だったとは・・・。

> ただ, その前提になる固有値を求める部分で挫折してしまってあきらめてしま
> いました(^^;;;

  jordan標準形を求めるメソッドあるといいですね。当然
ながら高次方程式の根を求めてくれるメソッドもあると
いいなあ。

> # 話しは違いますが, complex ** complex, sin(complex)とかは頑張って(適
> # 当に)定義しているんですよねえ... ただ, 正しいかどうか分からんので誰
> # か検算(?)  して欲しいんですが...

  complex ** complex は正しいような気がします。
sin と cos は両方とも虚数部の符号が逆のような気がするの
ですがどうやって確認したものか。
---
			豊福＠パパイヤ
			[e-mail]
			[e-mail]