Interval arithmetic for Ada

Interval aritmetika pro Ada je matematická knihovna, která poskytuje implementaci intervalech Ada. To zahrnuje aritmetiku a relační operace.
Příklady:
Tri-State Logic
Balík Intervaly slouží jako kořenový balíček a také tri-státní logiku nezbytnou pro definování porovnávací operace na intervalech. Typ Logická je definován jako:
 typ Logické je (False, True, nejistý);
 Následující operace jsou definovány pro logické:
 Funkce "ne" (vlevo: Logické) vrátí Logické;
 funkce "a" (vlevo, vpravo: Logické) vrátí Logické;
    funkce "a" (vlevo: Logické, Vpravo: Boolean)
       návrat Logické;
    funkce "a" (vlevo: Boolean; Vpravo: Logické)
       návrat Logické;
 Funkce "nebo" (vlevo, vpravo: Logické) vrátí Logické;
    Funkce "nebo" (vlevo: Logické, Vpravo: Boolean)
       návrat Logické;
    Funkce "nebo" (vlevo: Boolean; Vpravo: Logické)
       návrat Logické;
 Funkce "xor" (vlevo, vpravo: Logické) vrátí Logické;
    Funkce "xor" (vlevo: Logické, Vpravo: Boolean)
       návrat Logické;
    Funkce "xor" (vlevo: Boolean; Vpravo: Logické)
       Návrat Logické;

Co je nového v této verzi:

• Tato verze je v balení pro Fedora a Debian 32- a 64- architektury bit x86.