Function checkConstraints

src/compute-engine/sequence.ts:234–258

* Check constraint expression for multi-index sequences. * Returns true if constraints are satisfied or no constraints exist.

(
  ce: ComputeEngine,
  constraints: Expression,
  variables: string[],
  indices: number[]
)

      if (constraint.max !== undefined && index > constraint.max) return false;
    }
  }
  return true;
}

/**
 * Check constraint expression for multi-index sequences.
 * Returns true if constraints are satisfied or no constraints exist.
 */
function checkConstraints(
  ce: ComputeEngine,
  constraints: Expression,
  variables: string[],
  indices: number[]
): boolean {
  // Substitute variable values
  const subs: Record<string, Expression> = {};
  for (let i = 0; i < variables.length; i++) {
    subs[variables[i]] = ce.number(indices[i]);
  }

  const substituted = constraints.subs(subs);
  const result = substituted.evaluate();

  // Check if result is truthy (non-zero number or True)
  if (isSymbol(result)) {
    if (result.symbol === 'True') return true;
    if (result.symbol === 'False') return false;
  }