Maxima で綴る数学の旅

紙と鉛筆の代わりに、数式処理システムMaxima / Macsyma を使って、数学を楽しみましょう

-Android- Maxima on Android でapply1()やapplyb1()が動かない!

f:id:jurupapa:20140504173325j:plain

わんこ

 

現在Google Playで配布中のMaxima on Androidで、defruleで定義したルールをapply1やapply2, applyb1などを使って適用しても、実は適用がうまく実行されないことが分かりました。

 

この手のバグは、静的リンクがうまくいっていないことに起因することが多く、デバッグが面倒なのです、、、。

 

とりあえず、しばらくはこの件で絶賛デバッグ中ということになります。

 

[追記]

きちんとした理由(root cause)を見つけるのは諦めて、workaroundを試し始めています。あと数日でclose出来るといいのですが、、、。

 [追記2]

workaroundがうまくいくことが確認出来ました。maximaソースに付属するrtest_rules.macが全部通ったので、これでcloseとしよう。