Function tuples

test/compute-engine/solve-domain.test.ts:27–36

Evaluate a multi-variable `Solve` and return its solution tuples as arrays * of numbers, in the (lexicographic) order the engine produced them. Throws if * the result is not a decided `List` of `Tuple`s.

(expr: BoxedExpression)

/** Evaluate a multi-variable `Solve` and return its solution tuples as arrays
 *  of numbers, in the (lexicographic) order the engine produced them. Throws if
 *  the result is not a decided `List` of `Tuple`s. */
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.re);
  });
}

describe('SOLVE OVER A DOMAIN — symbolic + membership filter', () => {