わんこ
現在Google Playで配布中のMaxima on Androidで、defruleで定義したルールをapply1やapply2, applyb1などを使って適用しても、実は適用がうまく実行されないことが分かりました。
この手のバグは、静的リンクがうまくいっていないことに起因することが多く、デバッグが面倒なのです、、、。
とりあえず、しばらくはこの件で絶賛デバッグ中ということになります。
[追記]
きちんとした理由(root cause)を見つけるのは諦めて、workaroundを試し始めています。あと数日でclose出来るといいのですが、、、。
[追記2]
workaroundがうまくいくことが確認出来ました。maximaソースに付属するrtest_rules.macが全部通ったので、これでcloseとしよう。
