包含关系运算符的表达式的符号计算，可能使用Maxima

Question

我正在寻找另一种可以对关系表达式进行符号评估的工具，或者是扩展Maxima以启用此类功能的Maxima包。

原来，Maxima不这样做。

Answer 1

据我所知，maxima可以在手册中使用关系运算符：

http://maxima.sourceforge.net/docs/manual/maxima_7.html#SEC39

(%i1) [x, y, z] : [123, 456, 789];
(%o1)                    [123, 456, 789]
(%i2) is (x < y);
(%o2)                         true
(%i3) maybe (y > z);
(%o3)                         false
(%i4) if x >= z then 1 else 0;
(%o4)                           0
(%i5) block ([S], S : 0, for i:1 while i <= 100 do S : S + i, 
             return (S));
(%o5)                         5050

甚至解决不平等问题：

(%i4) load(fourier_elim)$
(%i5) fourier_elim([(x+1)*(x+2)>0],[x]);
(%o5)                       [- 1 < x] or [x < - 2]