Function tuples

test/compute-engine/solve-diophantine.test.ts:12–21

Evaluate a multi-variable `Solve` and return its tuples as arrays of numbers * (each coordinate numericized). Throws if the result is not a `List` of * `Tuple`s. Order is preserved.

(expr: BoxedExpression)

 *  (each coordinate numericized). Throws if the result is not a `List` of
 *  `Tuple`s. Order is preserved. */
function tuples(expr: BoxedExpression): number[][] {
  const r = expr.evaluate();
  if (r.operator !== 'List')
    throw new Error(`Expected a List, got ${r.operator}: ${r.toString()}`);
  return r.ops!.map((t) => {
    if (t.operator !== 'Tuple')
      throw new Error(`Expected a Tuple, got ${t.operator}: ${t.toString()}`);
    return t.ops!.map((o) => o.N().re);
  });
}

/** True if the `Solve` expression stayed unevaluated (undecided / inert). */
function isInert(expr: BoxedExpression): boolean {