[ruby-list:7185] Numeric

ごとけんです

In message "[ruby-list:7183] Numeric"
    on 98/03/20, [e-mail] <[e-mail]> writes:

>  豊福＠パパイヤです。ぼちぼち再開。
>
>  Numeric クラスって数値クラスと書いてあるのですが
>複素数に限らず、一般的な体（四則演算のできる集合）
>のクラスと考えてよいのでしょうか。

それはまずいと思います。いい例が思い浮かびませんが
抽象的にはいくらでも変なものを考えることができますし。
ある集合上の同値関係で入る商集合が体になってる場合、
元の集合に自然に数や(複素)行列で書けるモノでないと
Numeric であるといったところで美味しくないのでは
ないでしょうか?
有理数の代数拡大体くらいの呼び方ならいいかとは思いますが…
やはり「数値」でしょう。

僕も抽象的なものを思わず書きはじめることはありますが
やっぱり述語論理が扱えないと有限な記述を持つモノでも
満足に実装できないことの方が多いです。

-- gotoken