以前にも述べましたが，変数の個数を低減させた必要条件を付加する ncond は強力で，nnss，nnsolvexx の求解能力はこの関数によるヒントの賜物とも言えます． (%i98) f:(a^2+b^2+c^2<=3)%and(a*b*c>=1)$ Evaluation took 0.0100 seconds (0.0200 elapsed) us…

次の不等式を簡約します． (%i90) f:x^3+y^3+z^3>=3*x*y*z; Evaluation took 0.0000 seconds (0.0000 elapsed) using 1.859 KB. (%o90) z^3+y^3+x^3 >= 3*x*y*z まずは，qepmax から．．．． (%i91) qe([],f); Evaluation took 0.0800 seconds (0.2700 elaps…

次の不等式を簡約します． (%i86) f:(x^2-1)*(x^2-4)*(x^2-9)<0; Evaluation took 0.0000 seconds (0.0000 elapsed) using 1.344 KB. (%o86) (x^2-9)*(x^2-4)*(x^2-1) < 0 まずは，qepmax + nns です．悪くはありませんが，ちょっと解り難いですね． (%i87) …

式の簡約は，まず選言形に直し，得られた連言項毎に処理するのが基本です．よって結果は (%i70) qe([],(a^2=1)%and(b^2=1)); Evaluation took 0.3400 seconds (0.5200 elapsed) using 12.210 MB. (%o70) (a-1 <= 0) %and (a+1 >= 0) %and (((a-1 = 0) %and (…