Maxima で綴る数学の旅

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

2014-07-01から1ヶ月間の記事一覧

-数学- Qepmaxで拡張タルスキ式をサポート

前足をそろえておねむ // Qepmaxのメンテも続けております。ようやく、拡張タルスキ式のサポートを実装しました。 拡張タルスキ式はそれ自身原始論理式です。Qepmaxでは次のようなシンタックスでサポートすることにしました。 変数 (不)等号 etf_root(k, 多…

-Android- Maxima on Android 2.4 released to Google Play

ちょっと致命的なバグの報告があり、修正したものをリリースしました。 Maximaで積分などを計算していると、答えが表示される前に「xは正の数か、負の数か、ゼロか」とか、「nは整数か」などと聞かれることがあります。この答えによって計算結果が変わること…

-数学- 高次多変数連立方程式をグレブナー基底を使って解く

// ダブル チョコレート コーヒー ジェリー フラペチーノ® コメントに頂いた連立2元2次方程式について、考えてみます。 (%i1) poly1:x^2+2*x*y-3*y^2-5;$$ \tag{%o1} -3\,y^2+2\,x\,y+x^2-5 $$(%i2) poly2:2*x^2-x*y+6*y^2-1;$$ \tag{%o2} 6\,y^2-x\,y+2\,…