Convertitore di notazione a intervalli dagli estremi

È il passaggio finale di ogni disequazione lineare risolta, eseguito in modo coerente con una sola chiamata, con un errore chiaro quando l'estremo inferiore supera quello superiore.

Che cos'è la notazione di intervallo

La notazione di intervallo è il modo standard e compatto di scrivere un insieme di numeri reali compresi tra due estremi. Una parentesi quadra indica che l'estremo è incluso nell'insieme; una parentesi tonda indica che è escluso. Così [-2, 5) si legge come tutti i numeri da meno due fino a cinque escluso.

Gli studenti la incontrano non appena risolvono una disequazione lineare, e li accompagna attraverso il precalcolo, l'analisi matematica e oltre. Questa capability riceve gli estremi e i due flag di inclusione separatamente, così la decisione è esplicita nell'input anziché dedotta da una stringa formattata da qualcun altro. Le quattro combinazioni dei due flag coprono ogni caso limitato: chiuso-chiuso, chiuso-aperto, aperto-chiuso e aperto-aperto, e ciascuna corrisponde esattamente a una coppia di parentesi, quindi non c'è mai ambiguità su come debba apparire l'output per un dato input.

Come funziona la conversione

Lei invia un estremo inferiore, un estremo superiore e due booleani. Il convertitore verifica prima che entrambi gli estremi siano numeri finiti, poi controlla che l'estremo inferiore non superi quello superiore: una coppia invertita viene rifiutata con un errore di input non valido invece di produrre una stringa priva di significato.

Estremi uguali sono ammessi quando entrambi sono inclusivi, il che produce un intervallo degenere come [3, 3] contenente esattamente un punto; estremi uguali con un lato esclusivo descrivono l'insieme vuoto e vengono rifiutati, perché non esiste una stringa di parentesi onesta per rappresentarlo. L'output riporta l'input accanto all'intervallo formattato, così chi chiama può registrare esattamente quali flag hanno prodotto quale stringa.

Dove si colloca in una pipeline

La maggior parte degli utenti non scrive gli estremi a mano; i flag provengono da un risolutore di disequazioni, da un verificatore di vincoli o da una fase di ottimizzazione, e questo convertitore si trova alla fine di quella catena come livello di formattazione.

Gli usi tipici sono la visualizzazione di un insieme di soluzioni su una piattaforma di compiti, la generazione di risposte attese per un valutatore automatico, la normalizzazione dei risultati di diversi risolutori in un'unica stringa canonica prima di confrontarli e la creazione di report di vincoli leggibili. Poiché l'output è deterministico e stabile a livello di byte, si adatta naturalmente anche allo snapshot testing: una suite di test può verificare l'esatta stringa dell'intervallo invece di un'espressione regolare, e una modifica a qualsiasi flag a monte appare immediatamente come diff.

Se Le serve il passaggio precedente — risolvere la disequazione stessa — lo abbini alla capability del risolutore di disequazioni lineari nello stesso catalogo, che produce esattamente gli estremi e i flag che questo convertitore si aspetta.