Function runWolfram

benchmarks/audit/wester.ts:328–351

()

function runSymPy(): Record<string, any> {
  const tasks = cases.map((c) => ({ id: c.id, op: c.op, expr: c.sympyExpr, expr2: c.sympyExpr2 ?? null, var: c.varName, points: POINTS, point: c.point ?? null, a: c.a ?? null, b: c.b ?? null }));
  const tmp = join(mkdtempSync(join(tmpdir(), 'wester-')), 'tasks.json');
  writeFileSync(tmp, JSON.stringify(tasks));
  const by: Record<string, any> = {};
  try {
    const out = execFileSync(PYTHON, [join(__dirname, 'run_sympy_wester.py'), tmp], { encoding: 'utf8', timeout: 900000 });
    for (const line of out.trim().split('\n')) { try { const o = JSON.parse(line); if (o.id) by[o.id] = o; } catch {} }
  } catch (e: any) { console.error('sympy failed:', (e.message || e).toString().split('\n')[0]); }
  return by;
}

// --- Wolfram / Mathematica (batch) -----------------------------------------
// The Wester files are *already* Mathematica, so Wolfram is the natural
// reference baseline here. We translate the same parsed `arg` MathJSON the other
// configs run (not the raw statement) into Wolfram Language and grade it with the
// identical invariant logic. `real: true` mirrors run_sympy_wester.py's
// `symbols(var, real=True)`.
const wlPoint = (p: any) =>
  p === 'PositiveInfinity' ? 'Infinity' : p === 'NegativeInfinity' ? '-Infinity' : String(p);

function runWolfram(): Record<string, any> {
  const by: Record<string, any> = {};
  const tasks: any[] = [];
  for (const c of cases) {
    try {
      const t: any = { id: c.id, op: c.op, expr: mathJsonToWL(c.arg), var: c.varName, points: POINTS };
      if (c.arg2 !== undefined) t.expr2 = mathJsonToWL(c.arg2);
      if (c.point !== undefined && c.point !== null) t.point = wlPoint(c.point);