関係演算子を含む式の記号的評価（Maximaを使用する可能性があります）

Question

私は、関係式の記号評価を行う別のツール、あるいはそのような機能を有効にするためにMaximaを拡張するMaximaパッケージを探しています。

これは、Maximaはこれをしません。

Answer 1

私の知る限りは、最大値がマニュアルで関係演算子で作業することができます知っている：

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]