Brüche vergleichen: Zwei Brüche exakt vergleichen

Der Vergleich erfolgt durch exakte ganzzahlige Kreuzmultiplikation, nicht durch Gleitkommadivision, sodass das Ergebnis selbst bei riesigen Zählern und Nennern korrekt bleibt, wo eine Dezimalrundung das Resultat unbemerkt kippen würde. Es ist genau die Art von Prüfung, die in Hausaufgaben-Hilfen, Einheitenumrechnungen und Preissystemen auftaucht — erledigt in einem deterministischen Aufruf statt in einem selbst gebauten Vergleich, der an den Grenzfällen stillschweigend scheitert.

Was der Vergleich zurückgibt

Sie senden vier ganze Zahlen: Zähler und Nenner des ersten Bruchs sowie Zähler und Nenner des zweiten. Der Endpunkt antwortet mit einer einzigen Zahl, comparison, sowie einem menschenlesbaren Feld larger, das angibt, ob der erste Bruch, der zweite Bruch oder keiner von beiden größer ist. Ein Vergleichswert von -1 bedeutet, dass der erste Bruch kleiner ist, 0 bedeutet, dass beide Brüche exakt denselben Wert darstellen, und 1 bedeutet, dass der erste Bruch größer ist.

Da 1/2 und 2/4 denselben Wert haben, liefert ihr Vergleich 0 — bei der Gleichheit zählt der Wert, nicht das gleiche Aussehen der Ziffern. Neben dem Ergebnis erhalten Sie außerdem beide Brüche mit ihrem Dezimalwert zurückgespiegelt, was für die Anzeige praktisch ist, aber niemals die Entscheidung selbst bestimmt: Die Entscheidung wird mit exakter Arithmetik getroffen, die angezeigte Dezimalzahl ist also eine Annehmlichkeit, nicht der Mechanismus.

Warum exakte Kreuzmultiplikation wichtig ist

Der naive Weg, a/b und c/d zu vergleichen, besteht darin, beide zu dividieren und die Dezimalzahlen zu vergleichen. Das funktioniert, bis die Zahlen so groß werden, dass zwei verschiedene Brüche auf denselben Gleitkommawert gerundet werden — oder derselbe Bruch auf zwei verschiedenen Maschinen unterschiedlich gerundet wird. Diese Funktion vergleicht stattdessen die Kreuzprodukte a×d und c×b als exakte ganze Zahlen, was mathematisch äquivalent zum Vergleich der Brüche ist und ganz ohne Division auskommt, sodass bei keiner Größenordnung ein Rundungsfehler entsteht.

Negative Werte verhalten sich so, wie die Mathematik es vorschreibt: -1/2 ist kleiner als 1/3, und ein negativer Nenner macht schlicht den gesamten Bruch negativ, sodass 1/-2 exakt wie -1/2 verglichen wird. Zähler mit dem Wert null sind unproblematisch und gelten als gleich jedem anderen Bruch mit dem Wert null. Die einzigen Eingaben, die grundsätzlich abgelehnt werden, sind Nenner mit dem Wert null, weil ein Bruch mit dem Nenner null undefiniert ist, sowie nicht ganzzahlige Werte, weil der Vertrag exakte Ganzzahlbrüche vorsieht.

Wo der Vergleich in eine Pipeline passt

Teams setzen den Vergleich überall dort ein, wo ein Bruch-Schwellenwert exakt ausgewertet werden muss: eine Rabatt-Engine, die entscheiden muss, ob 2/3 eines Kontingents verbraucht sind, ein Lernwerkzeug, das die Antwort eines Schülers gegen die korrekte Reihenfolge prüft, oder ein Datenbereinigungsschritt, der Verhältnisse normalisiert, die als separate Zähler- und Nennerspalten gespeichert sind. Und weil das Ergebnis ein schlichtes -1, 0 oder 1 ist, passt es ohne weitere Verarbeitung direkt in jede Sortierfunktion, jede Zusicherung und jede Verzweigung.