Скажи, что у меня есть неравенство типа
ineq = a < b;
и множество равенств вида
eq = a == c;
...
Теперь моя цель - использовать набор равенств и преобразовать их в неравенство, основанное на знаке «ineq». Так что, если у 'ineq' есть '<', я хочу получить </p>
a < Min[b, c, ...]
Однако, если у 'ineq' есть '>', я хочу получить
a > Max[b, c, ...].
Как я могу получить знак (меньше / больше) в 'ineq'? Также предположим, что у меня всегда есть «а», чтобы быть явно на левой стороне знака.