Interval arithmetic for Ada

Interval számtani Ada egy matematikai könyvtár, ami egy megvalósítása időközönként Ada. Ez magában foglalja a számtan és relációs műveleteket.
Példák:
Tri-State Logic
A csomag periódusai szolgál gyökércsomagra és azt is előírja tri-state logikát kell határozni relációs műveletek időközönként. A típus logikai definíció szerint:
 típusú logikai van (hamis vagy igaz, bizonytalan);
 A következő műveletek megadott Logical:
 funkció "nem" (Bal: Logical) vissza Logikai;
 funkció "és" (bal, jobb: logikai) vissza Logikai;
    funkció "és" (Bal: Logikai; Jobbra: Boolean)
       vissza Logikai;
    funkció "és" (Bal: Logikai; Jobbra: Logical)
       vissza Logikai;
 funkció "vagy" (bal, jobb: logikai) vissza Logikai;
    funkció "vagy" (Bal: Logikai; Jobbra: Boolean)
       vissza Logikai;
    funkció "vagy" (Bal: Logikai; Jobbra: Logical)
       vissza Logikai;
 funkció "xor" (bal, jobb: logikai) vissza Logikai;
    funkció "xor" (Bal: Logikai; Jobbra: Boolean)
       vissza Logikai;
    funkció "xor" (Bal: Logikai; Jobbra: Logical)
       vissza Logikai;

Mi az új ebben a kiadásban:

• Ez a kiadás csomagolású Fedora és Debian 32 és 64 bit x86 architektúrán.