1と2は特別なのでしょうか？ k@k ~ $ rmaxima --init= Maxima 5.39.0 http://maxima.sourceforge.net using Lisp CMU Common Lisp 21b (21B Unicode) Distributed under the GNU Public License. See the file COPYING. Dedicated to the memory of William …

変更点 ・名前が cineqs4g になりました． ・処理の効率を改善．数パーセント高速化しましたが，下記の処理のため結果として遅くなりました（苦）． (%i15) for c:1 thru 100 do (ep(0,0),cineqs4g('( x^3+abs(x+1)^(-1/4)-2>0 )))$ Evaluation took 5.2900 …

cineqs4 は「真理値に関する中間値定理」により，原始式同士の結合の様子に立ち入ることなく，系を解いています．すなわち，．．． 一変数半代数系 F(x) と実数 a，b (a,=, 例えば，f(a)>0はtrue，f(b)>0はfales（つまり，f(b) ⇒F(x) のある原始式 rel(f(x),…

作動確認バージョン． Maxima 5.39.0 using Lisp CMU Common Lisp 21b (21B Unicode) 高次不等式． (%i1) ep(1,0)$cineqs4('( (x-1)*(x^2-2)*(x^3-3)*(x^2+4)<=0 )); Evaluation took 0.0000 seconds (0.0000 elapsed) using 856 bytes. Evaluation took 0.0…

cineqs2 を分数関数や有理冪乗（fractional power）関数で表された方程式，不等式まで扱えるように拡張しました． コードの大半は，Maxima の非論理的挙動を封じるためのものです（笑）． 作動確認は Maxima 5.39.0 on Ubuntu 及び windows で行っています．…

Maxima 5.39.0 http://maxima.sourceforge.net using Lisp CMU Common Lisp 21b (21B Unicode) Distributed under the GNU Public License. See the file COPYING. Dedicated to the memory of William Schelter. The function bug_report() provides bug re…