Function isInert

test/compute-engine/solve-diophantine.test.ts:24–26

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

(expr: BoxedExpression)

/** True if the `Solve` expression stayed unevaluated (undecided / inert). */
function isInert(expr: BoxedExpression): boolean {
  return expr.evaluate().operator === 'Solve';
}

/** Brute-force the integer solutions of a two-unknown equation over a box, as a
 *  lexicographically sorted array — the oracle the symbolic path must match. */