ruby-list

児玉 です.

From: Shin-ichiro HARA <sinara@blade.nagaokaut.ac.jp>
Subject: [ruby-list:30816] Re: int/int => float?
Date: Wed, 1 Aug 2001 13:48:20 +0900
Message-ID: <4.3.2-J.20010801133135.02b84e60@blade.nagaokaut.ac.jp>

> 原です。
....
> > >Matrix クラスではこの公式とは別の方法で計算します。
> > >この別の方法は内部で割算を行なうため、 int / int = int であることより、
> > >(ad-bcで計算してくれるとユーザが勝手に思っていた)結果とは異なります。
> 
> なるほど、いけがみさんの疑問はもっともですね。

"仕様です" といわれても納得しがたいよね？

> >うーん. そういう意味だったのですね. rankと同様detも割り算しないものにつ
> >くり直したほうがよいですね.
> 
> でも結構難しい問題ですよね。割り算しないと係数の膨張が起こって
> しまうし、なにより先に行列の成分の属するクラスに応じて、アルゴ
> リズムをスイッチしなければならないのが美しくない。もしかして、
> determinant_int とか別の名前のメソッドを用意するしかないのかも。

係数のクラスを固定できない,(っていうか)
総ての係数が同じクラスに属する事を期待できないのが問題ですね.
int 係数とわかっているなら,
(内部では) Rational 上で計算する事にしても良いと思うが...

僕が作った Sather での 行列クラスでは,
Ruby のような柔軟性が無いのが逆に幸いしているような感じで
係数環を明示的に指定して行列クラスを作っています.
アルゴリズムを提供するクラスを作っておいて,
下のように, 係数環 ET のクラスによって使うアルゴリズムを切替えています.
係数の膨張の問題はあるが...

class MAT_RAT is -- Rational 係数
        include MAT_RING{RAT};
        include MAT_FIELD{RAT};
        ......

class MAT_INTI is -- 整数係数
        include MAT_RING{INTI};
        include DET_PRIMITIVE_ALG{INTI};
        include MAT_PID{INTI};
        include MAT_PID_DET{INTI};      
        ....

class MAT_POLYS_INTI is -- 1変数整数係数多項式の係数
        include MAT_RING{POLYS_INTI};
        include DET_PRIMITIVE_ALG{POLYS_INTI};
        ....

-- 
K.Kodama(kodama@kobe-kosen.ac.jp)

Thread

Prev Next

In This Thread

Prev Next

[#30811] rbnamazu の field について — yoshikazu tsubaki <y-tsubaki@...>

[#30818] expect.rb について — takashi Yamaoka <t_yamashita@...>

[#30827] 正規表現まわりの parse — sheepman <sheepman@...>

[#30839] $ で始まるローカル変数への代入 — Kazuhiro NISHIYAMA <zn@...>

[#30841] Call for the "Lightning Talk" in Linux Conference 2001 — akira yamada / やまだあきら <akira@...>

[#30842] Matrix の仕様 — matz@... (Yukihiro Matsumoto)

[#30846] RD で罫線を引きたい — Masahiro Kawata <mas@...>

[#30850] ruby-mode.el の改善案 — sheepman <sheepman@...>

[#30851] hook for rd-mode.el — Kenichi Komiya <kom@...1.accsnet.ne.jp>

[#30852] Ruby/Tk on Windows — hidaka@... (HIDAKA Takahiro)

[#30854] add missing feature on the fly — Kenichi Komiya <kom@...1.accsnet.ne.jp>

[#30855] オブジェクトをソースへ — Daisuke Aoki <dai@...>

[#30866] Re:int/int =>float? — Itou-T15@...

[#30871] RTtool 0.1.6 — rubikitch <rubikitch@...>

[#30872] ext/curses — Takaaki Tateishi <ttate@...>

[#30873] ps or /proc on Windows NT — Mitsuhiro Kondo <kondo@...>

[#30877] RWiki-1.2.2 — Masatoshi SEKI <m_seki@...>

[#30885] SAGE — "Shin'ya Adzumi" <adzumi@...>

[#30886] RDE0.9.1.0 公開 — 斉藤 和樹 <QZS01353@...>

[#30888] RubyConf 2001 — TAKAHASHI Masayoshi <maki@...>

[#30897] ActiveScriptRuby + showModalDialog — keiichi matsunaga <ma2@...>

[#30910] http-access2 — "Akinori MUSHA" <knu@...>

[#30914] RDTool の Reference — "E.Ryoj" <enomoto@...>

[#30920] [REQ] Regexp#match! — Minero Aoki <aamine@...>

[#30930] the latest snapshots — "Akinori MUSHA" <knu@...>

[#30936] Ruby/Fltk — Takaaki Tateishi <ttate@...>

[#30938] url Library? — "Inoue" <inoue@...>

[#30945] file exist check method? — "Inoue" <inoue@...>

[#30961] popen() で Insecure PATH — 堀川 久 <vzw00011@...>

[#30972] why does the /\1/ match "foo" — Koji Arai <JCA02266@...>

[#30982] add-log-current-defun for Ruby — TAKAHASHI Kaoru <kaoru@...>

[#30985] [ANN] MPIO-0.0.20010819 released — MoonWolf <moonwolf@...>

[#30987] [REQ] String#slice(re, n) — Minero Aoki <aamine@...>

[#31002] ruby のインストール — Andre Ribeiro Hanai <andre@...>

[#31005] インストールしました — 嶋崎 正貴 <hayashih@...>

[#31013] nested ERbLight — rubikitch@...

[#31016] TCPSocket.open error — Koichi Takehara <Koichi.Takehara@...>

[#31035] 安全な文字列の評価方法 — 斉藤和樹 <QZS01353@...>

[#31044] refe 0.4 — Minero Aoki <aamine@...>

[#31054] sockaddr_in 構造体の pack — Koji Arai <JCA02266@...>

[#31060] WIN32OLE の質問 : 環境変数の設定はどうやる？ — Hirofumi Tamori <tamori@...>

[#31066] [Q] string underline in emacs — "K.Kosako" <kosako@...>

[#31069] ruby と mysql の使える webhosting — Ryuichiro Hara <ruby@...>

[#31071] ruby on sun — Koichi Takehara <Koichi.Takehara@...>

[#31106] 黄道編 get! — Noritsugu Nakamura <nnakamur@...>

[#31114] ftp.ruby-lang.org — 堀川 久 <vzw00011@...>

[#31119] [RDP] cgi/session.rb — rubikitch <rubikitch@...>

[#31122] xemacs21 の html-mode で <% ... %> を注釈する方法？ — SAITO Shukaku <shukaku@...>

[#31123] file pass win unix — "Inoue" <inoue@...>

[#31126] setup.rb 3.0 — Minero Aoki <aamine@...>

[#31128] Ruby.exe で実行中は編集禁止？ — Take_tk <ggb03124@...>

[#31141] CSV — Kenji Noda <zaq94465a@...>

[#31144] create_process または Win での外部コマンド実行 — Take_tk <ggb03124@...>

[#31171] プログラミング Ruby — akira yamada / やまだあきら <akira@...>

[ruby-list:30820] Re: int/int => float?

Thread

In This Thread

[#30886] RDE0.9.1.0 公開 — 斉藤　和樹 <QZS01353@...>

[#30961] popen() で Insecure PATH — 堀川久 <vzw00011@...>

[#31005] インストールしました — 嶋崎　正貴 <hayashih@...>

[#31114] ftp.ruby-lang.org — 堀川久 <vzw00011@...>