a hm @sUddlZddlmZddlZddlmZeeZej ej ej ej ej ej ej ejej ej ejej iZeeejeejfed<ej ej ejej fZeeeejdddZdejejeeeeejejfd d d Zejejeejd ddZdS)N)Optional)FloorDiv_MIRROR_REL_OP)typereturncCs t|dSN)rget)rr F/var/www/auris/lib/python3.9/site-packages/torch/utils/_sympy/solve.py mirror_rel_opsr T)exprthingtrialsfloordiv_inequalityrc Cstt|}t|tjr |dur4tdt|dS|j|}|j |}|rf|rftd||dSg}|rx| ||r| ||j |j|D]|}|durqt|tjsJt |D]"} t |||d} | |krq| }qt|tjr|j|krtd||||j fSqdS)Nz$expression with unsupported type: %sz0thing (%s) found in both sides of expression: %s)rzsolved: %s ---> %s) r r isinstancesympyRellogdebuglhshasrhsappendrange_try_isolate_lhs) r rrrZmirrorZ lhs_has_thingZ rhs_has_thingZ expressionse_Ztrialr r r try_solve)s6     r)rrrrc sbt|}t|tjrVt|jtjriz#_try_isolate_lhs..rcsg|]}|s|qSr rr r#r r rr%z$_try_isolate_lhs..)rrrrrAddsumargsrZMulINEQUALITY_TYPESZ is_negativeis_zeror rZdivisorZ is_positive is_integerEqAndGeLtNeOrGtLe) rrropZ lhs_not_thingrrother numerator denominatorZquotientr r#r rasd            r)r T)loggingtypingrrZtorch.utils._sympy.functionsr getLogger__name__rr.r2r0r5r4r1rdictrZBasicr__annotations__r+r intbooltupleExprrrr r r r s2      9