Function sympy_solve

benchmarks/audit/gen_solve.py:235–243

SymPy comparator outcome, using its most capable solver (`solve`). Returns {status, roots[]}: status ∈ {ok, unsolved}.

(expr)

def sympy_solve(expr):
    """SymPy comparator outcome, using its most capable solver (`solve`).

    Returns {status, roots[]}: status ∈ {ok, unsolved}.
    """
    roots = solve_real_roots(expr)
    if roots:
        return {"status": "ok", "roots": roots}
    return {"status": "unsolved", "roots": []}


out = []