| from sympy import And as SympyAnd | |
| from sympy.core.sympify import sympify | |
| class And(SympyAnd): | |
| """ | |
| Patched version of And that keeps the _unsorted_args attribute | |
| """ | |
| def __new__(cls, *args, **kwargs): | |
| args = [sympify(arg) for arg in args] | |
| obj = super().__new__(cls, *args, **kwargs) | |
| obj._unsorted_args = args | |
| return obj | |