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

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

// ダブル チョコレート コーヒー ジェリー フラペチーノ® コメントに頂いた連立２元２次方程式について、考えてみます。 (%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\,…