Function matchAll

src/compute-engine/rubi/match.ts:69–89

(
  pat: Pat,
  expr: Expression,
  x: Expression,
  cap = 8,
  deadline?: number
)

 * assignment, the next assignment must be tried — e.g.
 * `(a+bx)^m (c+dx)^n` factor roles are interchangeable and conditions
 * often hold for only one orientation.
 */
export function matchAll(
  pat: Pat,
  expr: Expression,
  x: Expression,
  cap = 8,
  deadline?: number
): Env[] {
  const envs: Env[] = [];
  const env: Env = new Map();
  const saved = _matchDeadline;
  _matchDeadline = deadline;
  try {
    m(pat, expr, x, env, () => {
      envs.push(new Map(env));
      return envs.length >= cap; // false ⇒ keep backtracking for more
    });
  } finally {
    _matchDeadline = saved;
  }
  return envs;
}