Function piecewise

src/compute-engine/interval/comparison.ts:155–203

(
  xOrCond: Interval | IntervalResult | BoolInterval,
  conditionOrTrue:
    | ((x: Interval) => BoolInterval)
    | (() => Interval | IntervalResult),
  trueOrFalse:
    | ((x: Interval) => Interval | IntervalResult)
    | (() => Interval | IntervalResult),
  falseBranch?: (x: Interval) => Interval | IntervalResult
)

  if (!Array.isArray(unwrapped)) return 'maybe';
  const [aVal, bVal] = unwrapped;
  if (aVal.lo >= bVal.hi) return 'true';
  if (aVal.hi < bVal.lo) return 'false';
  return 'maybe';
}

/**
 * Equality comparison for intervals.
 *
 * Returns:
 * - 'true' only if both are point intervals with same value
 * - 'false' if intervals don't overlap
 * - 'maybe' if intervals overlap
 */
export function equal(
  a: Interval | IntervalResult,
  b: Interval | IntervalResult
): BoolInterval {
  const unwrapped = unwrapOrPropagate(a, b);
  if (!Array.isArray(unwrapped)) return 'maybe';
  const [aVal, bVal] = unwrapped;
  // Equal only if both are point intervals with same value
  if (aVal.lo === aVal.hi && bVal.lo === bVal.hi && aVal.lo === bVal.lo)
    return 'true';
  // Definitely not equal if intervals don't overlap
  if (aVal.hi < bVal.lo || bVal.hi < aVal.lo) return 'false';
  return 'maybe';
}

/**
 * Not equal comparison for intervals.
 */
export function notEqual(
  a: Interval | IntervalResult,
  b: Interval | IntervalResult
): BoolInterval {
  const eq = equal(a, b);
  if (eq === 'true') return 'false';
  if (eq === 'false') return 'true';
  return 'maybe';
}

/**
 * Logical AND for boolean intervals.
 */
export function and(a: BoolInterval, b: BoolInterval): BoolInterval {
  if (a === 'false' || b === 'false') return 'false';
  if (a === 'true' && b === 'true') return 'true';
  return 'maybe';
}

/**
 * Logical OR for boolean intervals.