Символьная оценка выражений, содержащих реляционные операторы, возможно с использованием Maxima

Question

Я ищу другой инструмент, который будет выполнять символическую оценку реляционных выражений, или, возможно, пакет Maxima, расширяющий Maxima для включения такой функции.

Как есть, Максима не делает этого.

Answer 1

Насколько я знаю, максимумы могут работать с реляционными операторами в руководстве:

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

(%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]