DB
Size: a a a
DB
'o
DB
DI
DI
c
DA
DN
DN
DI
'o
(x > 2) & (x < 4) & (x > 3)
-> (x > 3) & (x < 4)
Он очень здорово упрощает численные и бинарные выражения, а для неравенств я не могу нужную функцию найти.'o
In [76]: reduce_inequalities([x <= 1, x <= 2, x < 3, x < 4, x > -10, y < 2, y > -17])
Out[76]: (x <= 1) & (-17 < y) & (-10 < x) & (y < 2)
N
DN
TL
VE
VE
VE
DS
DB