Function solutions

test/compute-engine/solve-domain.test.ts:10–17

Evaluate a `Solve` expression and return its solution values as numbers, * sorted ascending. Throws if the result is not a decided `List`.

(expr: BoxedExpression)

/** Evaluate a `Solve` expression and return its solution values as numbers,
 *  sorted ascending. Throws if the result is not a decided `List`. */
function solutions(expr: BoxedExpression): number[] {
  const r = expr.evaluate();
  if (r.operator !== 'List')
    throw new Error(`Expected a List, got ${r.operator}: ${r.toString()}`);
  // `.N().re` (not `.re`): a periodic-expansion result is an EXACT π-multiple,
  // a symbolic value whose bare `.re` is `NaN` — numericize before comparing.
  return r.ops!.map((o) => o.N().re).sort((a, b) => a - b);
}

/** True if the `Solve` expression stayed unevaluated (undecided). */