INNER CODE UNIT · Python

property_intervals

lean-dojo/TorchLean · scripts/generate_unicode_table.py:75

def property_intervals() -> list[tuple[int, int, int]]:
    """Coalesce equal nonzero payloads, keeping decimal alphabets separate."""
    intervals: list[tuple[int, int, int]] = []
    interval_start = 0
    current_payload = character_payload(0)

    for codepoint in range(1, sys.maxunicode + 2):
        next_payload = (
            character_payload(codepoint)
            if codepoint <= sys.maxunicode
            else -1
        )
        if next_payload == current_payload:
            continue
        if current_payload != 0:
            intervals.append(
                (interval_start, codepoint - 1, current_payload % 16)
            )

View source record →