Function normalizeIndexingSets

src/compute-engine/library/utils.ts:189–193

(
  ops: ReadonlyArray<Expression>
)

    case 'NonNegativeIntegers':
      // ℕ₀ = {0, 1, 2, 3, ...}
      return { lower: 0, upper: MAX_ITERATION, isFinite: false };
    case 'PositiveIntegers':
      // ℤ⁺ = {1, 2, 3, ...}
      return { lower: 1, upper: 1 + MAX_ITERATION, isFinite: false };
    default:
      // NegativeIntegers, Integers, Reals, Complexes, etc. cannot be
      // converted to a simple forward iteration
      return undefined;