L1 · Pyodide

Reproducing sympy/sympy#29413

Fix candidate branch
Loading Pyodide runtime…

Reproduction script

import sys
import sympy
from sympy import ask, Q, Symbol

a = Symbol('a')
result_value = ask(a + 1 > a, Q.extended_real(a))

{
    "sympy_version": sympy.__version__,
    "python_version": sys.version.split()[0],
    "ask_result": repr(result_value),
    "reproduced": result_value is True,
}

Baseline output

(pending)

Fix-candidate output

(waiting for baseline)