LanX-+2008-10-13 00:34:07--

Mir ist nicht ganz klar was du vorhast, die boolesche Algebra ist in wohl jeder modernen Programmiersprache von Haus aus integriert....

Ja, das ist mir klar, aber es gibt ja, wie du auch erkannt hast, noch andere algebraische Strukturen. Und Semiringe sind eine Generalisierung solcher Gewichtsstrukturen. Die boolsche Algebra ist *eine mögliche* variante davon.

LanX-+2008-10-13 00:34:07--

Schon der Vergleich von Booleschem und Tropischen Halbring sollte zeigen, dass ein generelles Modul für Halbringe nicht trivial machbar ist.

Das weiß ich, einer meiner Dozenten hat das die letzten Jahre in C++ implementiert.
Ich hatte nur die Hoffnung, dass es schon etwas in der Art irgendwo gäbe, um den Entwicklungsaufwand gering zu halten.
In der Tat muss man speziell auf Dinge wie unendlich reagieren, aber das kann man alles per Konvention festlegen und die Eingaben dann auf Symbolebene behandeln.

Zu den Floats: intern würde ich da den logarithmus nehmen, der ist besser zu berechnen. Es gibt ja auch einen log-Semiring, bzw. einen neg-log-Semiring, eben weil Floats ziemlich schnell schlecht zu berechnen sind.

Aber um mal auf diese Bibliotheken zu kommen, die es da schon gibt: Ist es sehr schwer, Wrapper um C++-Funktionen zu schreiben?