Did I find the right examples for you? yes no      Crawl my project      Python Jobs

All Samples(1)  |  Call(1)  |  Derive(0)  |  Import(0)

src/s/y/sympy-HEAD/sympy/solvers/inequalities.py   sympy(Download)
 
        if isinstance(inequality, AppliedPredicate):
            extra_assume.append(inequality)
            continue