Можно ли заставить Maxima использовать неравенство треугольника для оценки неравенства?
Например, чтобы получить справедливость для простых неравенств, таких как
is( abs(x-1) + 1 >= abs(x) );
Я использую Maxima в STACK.Существуют некоторые глобально запрещенные команды (см. https://github.com/maths/moodle-qtype_stack/blob/master/stack/cas/casstring.class.php#L92 ).